aw31 / openai-imo-2025-proofsLinks
☆320Updated this week
Alternatives and similar repositories for openai-imo-2025-proofs
Users that are interested in openai-imo-2025-proofs are comparing it to the libraries listed below
Sorting:
- Testing baseline LLMs performance across various models☆288Updated last week
- Open source interpretability artefacts for R1.☆154Updated 3 months ago
- Decentralized RL Training at Scale☆382Updated this week
- Long context evaluation for large language models☆220Updated 4 months ago
- Simple & Scalable Pretraining for Neural Architecture Research☆110Updated this week
- ☆167Updated 3 months ago
- Evaluation of LLMs on latest math competitions☆142Updated 2 months ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆190Updated last year
- ☆134Updated 3 months ago
- ☆188Updated 3 weeks ago
- Simple Transformer in Jax☆138Updated last year
- ☆171Updated 4 months ago
- ☆316Updated this week
- ☆91Updated this week
- Memory layers use a trainable key-value lookup mechanism to add extra parameters to a model without increasing FLOPs. Conceptually, spars…☆341Updated 7 months ago
- A Collection of Competitive Text-Based Games for Language Model Evaluation and Reinforcement Learning☆210Updated last week
- Atropos is a Language Model Reinforcement Learning Environments framework for collecting and evaluating LLM trajectories through diverse …☆547Updated this week
- OpenCoconut implements a latent reasoning paradigm where we generate thoughts before decoding.☆173Updated 6 months ago
- ☆117Updated 6 months ago
- ☆377Updated last month
- Code for NeurIPS'24 paper 'Grokked Transformers are Implicit Reasoners: A Mechanistic Journey to the Edge of Generalization'☆224Updated this week
- Our solution for the arc challenge 2024☆162Updated last month
- Technical report of Kimina-Prover Preview.☆312Updated last week
- SIMD quantization kernels☆76Updated this week
- Code to train and evaluate Neural Attention Memory Models to obtain universally-applicable memory systems for transformers.☆316Updated 8 months ago
- open source interpretability platform 🧠☆300Updated this week
- Public repository for "The Surprising Effectiveness of Test-Time Training for Abstract Reasoning"☆319Updated 8 months ago
- ☆458Updated 11 months ago
- ☆209Updated last month
- ☆92Updated 2 months ago