Mastane Achab's starred repositories
llm-colosseum
Benchmark LLMs by fighting in Street Fighter 3! The new way to evaluate the quality of an LLM
x-transformers
A simple but complete full-attention transformer with a set of promising experimental features from various papers
self-rewarding-lm-pytorch
Implementation of the training framework proposed in Self-Rewarding Language Model, from MetaAI
alpaca_farm
A simulation framework for RLHF and alternatives. Develop your RLHF method without collecting human data.
alpaca_eval
An automatic evaluator for instruction-following language models. Human-validated, high-quality, cheap, and fast.
lean-liquid
đź’§ Liquid Tensor Experiment
LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
naturalprover
NaturalProver: Grounded Mathematical Proof Generation with Language Models
lean-perfectoid-spaces
A formalization of the concept of a perfectoid space in the Lean formal theorem prover.
Performance-Estimation-Toolbox
Code of the Performance Estimation Toolbox (PESTO) whose aim is to ease the access to the PEP methodology for performing worst-case analyses of first-order methods in convex and nonconvex optimization. The numerical worst-case analyses from PEP can be performed just by writting the algorithms just as you would implement them.