Lean formalizations of IMO problem statements
☆32Oct 23, 2025Updated 5 months ago
Alternatives and similar repositories for formal-imo
Users that are interested in formal-imo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆51Feb 23, 2026Updated last month
- ☆14Dec 12, 2023Updated 2 years ago
- Template for Lean<->Rust FFI☆15Feb 11, 2024Updated 2 years ago
- guarded interaction trees☆12Jul 4, 2025Updated 9 months ago
- Code from the CMU LM inference fall 2025 edition.☆35Dec 7, 2025Updated 4 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entr…☆59Mar 5, 2026Updated last month
- Quantinuum's emulator for hybrid quantum computation☆26Mar 30, 2026Updated last week
- ☆13Feb 26, 2025Updated last year
- Implementation of typechecker from paper "Special Delivery: Programming with Mailbox Types"☆20Jan 15, 2026Updated 2 months ago
- [ICML2024]Adaptive decoding balances the diversity and coherence of open-ended text generation.☆19Jun 2, 2024Updated last year
- Examples using MetaProgramming for writing tactics etc.☆20Nov 26, 2025Updated 4 months ago
- Utilities to use the Hugging Face Hub API☆12Jan 30, 2025Updated last year
- Formalisation of the theory of real closed fields in Lean 4.☆15Mar 27, 2026Updated 2 weeks ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Feb 18, 2026Updated last month
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆20Dec 30, 2025Updated 3 months ago
- PKU Mirror Frontend☆11Apr 5, 2025Updated last year
- A Haskell probabilistic programming library.☆21Mar 28, 2026Updated last week
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- ☆36Aug 19, 2024Updated last year
- A formalized proof of Carleson's theorem in Lean☆90Updated this week
- Pricing and Analysis of Financial Derivative by Credit Suisse using Monte Carlo, Geometric Brownian Motion, Heston Model, CIR model, est…☆31Aug 12, 2024Updated last year
- BASI is the first-ever smart contract created by autonomous AI agents. The token was deployed to ETH mainnet on 6/6/23.☆22Nov 22, 2024Updated last year
- Verifying the ZX Calculus☆20Jan 16, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆16Oct 25, 2024Updated last year
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆37Mar 3, 2026Updated last month
- ☆12Feb 23, 2025Updated last year
- The official github repo for the open online courses: "Dive into LLMs".☆10Mar 15, 2024Updated 2 years ago
- Context7 Scoring Library☆30Sep 19, 2025Updated 6 months ago
- Web published translation of Grothendieck's essay on kimchi☆17Feb 10, 2024Updated 2 years ago
- Algorithms for Learning Graphical Models☆25Jan 25, 2023Updated 3 years ago
- Interact with ChatGPT in terminal via chattool☆23Feb 20, 2026Updated last month
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆38Apr 3, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Lean 4 Jupyter kernel via repl☆35Nov 19, 2024Updated last year
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- ☆40Dec 6, 2019Updated 6 years ago
- ☆13Dec 15, 2025Updated 3 months ago
- Metadata reader in Julia, wrapper over LibExif☆28Nov 18, 2024Updated last year
- An autonomous orchestrator that unites and manages open-source devs for complex problems by faciliting synergy between multiple Discord s…☆26Sep 16, 2024Updated last year
- A capture-the-flag exercise based on data analysis challenges☆19Jan 30, 2020Updated 6 years ago