google-deepmind / gemini_icpc2025Links
Gemini 2025 ICPC World Finals Code Submissions
☆104Updated this week
Alternatives and similar repositories for gemini_icpc2025
Users that are interested in gemini_icpc2025 are comparing it to the libraries listed below
Sorting:
- ☆226Updated 3 months ago
- ☆293Updated this week
- Technical report of Kimina-Prover Preview.☆327Updated 2 months ago
- Evaluation of LLMs on latest math competitions☆164Updated last week
- Transformers for Mathematics Tutorial | Simons/SLMath Workshop on AI for Mathematics 2025☆40Updated 5 months ago
- ☆476Updated 2 months ago
- ☆31Updated 10 months ago
- Code to automatically prove or verify estimates in analysis☆305Updated 2 months ago
- ☆207Updated 5 months ago
- The Automated LLM Speedrunning Benchmark measures how well LLM agents can reproduce previous innovations and discover new ones in languag…☆96Updated last month
- Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm, a breakthrough in matrix multiplication after 56 years.☆120Updated 3 months ago
- A JAX-native LLM Post-Training Library☆144Updated this week
- ☆128Updated 4 months ago
- ☆101Updated 3 weeks ago
- ☆464Updated 4 months ago
- ☆212Updated last week
- ☆67Updated 11 months ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆36Updated 3 months ago
- Our solution for the arc challenge 2024☆176Updated 3 months ago
- LLMs + Lean, on your laptop or in the cloud☆177Updated 2 months ago
- ☆91Updated 3 months ago
- Code to reproduce "Transformers Can Do Arithmetic with the Right Embeddings", McLeish et al (NeurIPS 2024)☆192Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆295Updated 7 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆70Updated 8 months ago
- ☆187Updated last month
- Harmonic Datasets☆47Updated last year
- Minimal yet performant LLM examples in pure JAX☆158Updated last week
- A collection of formalized statements of conjectures in Lean.☆625Updated this week
- Simple & Scalable Pretraining for Neural Architecture Research☆293Updated last month
- ☆80Updated last month