Lean formalizations of IMO problem statements
☆33Apr 23, 2026Updated last week
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.☆52Feb 23, 2026Updated 2 months ago
- Template for Lean<->Rust FFI☆15Feb 11, 2024Updated 2 years ago
- guarded interaction trees☆13Jul 4, 2025Updated 9 months ago
- Quantinuum's emulator for hybrid quantum computation☆28Updated this week
- The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entr…☆69Mar 5, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Code from the CMU LM inference fall 2025 edition.☆38Dec 7, 2025Updated 4 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 5 months ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆15Apr 18, 2026Updated last week
- ☆20Dec 30, 2025Updated 4 months ago
- PKU Mirror Frontend☆11Apr 5, 2025Updated last year
- A Haskell probabilistic programming library.☆21Apr 19, 2026Updated last week
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- Verifying the ZX Calculus☆20Jan 16, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆37Apr 21, 2026Updated last week
- The official github repo for the open online courses: "Dive into LLMs".☆10Mar 15, 2024Updated 2 years 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
- A static analysis tool for Lean 4.☆119Apr 22, 2026Updated last week
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆39Apr 3, 2026Updated 3 weeks ago
- A Lean 4 Jupyter kernel via repl☆36Nov 19, 2024Updated last year
- A sample project illustrating how to write and distribute SageMath extensions☆16Feb 10, 2023Updated 3 years ago
- ☆39Dec 6, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- RayGaussX: Accelerating Gaussian-Based Ray Marching for Real-Time and High-Quality Novel View Synthesis☆55Dec 5, 2025Updated 4 months ago
- ☆15Nov 8, 2024Updated last year
- This repository contains papers for a comprehensive survey on accelerated generation techniques in Large Language Models (LLMs).☆11May 24, 2024Updated last year
- The official implementation of the EMNLP 2023 paper "Paraphrase Types for Generation and Detection"☆12Oct 20, 2024Updated last year
- [WSDM 2026] LookAhead Tuning: Safer Language Models via Partial Answer Previews☆17Dec 14, 2025Updated 4 months ago
- ☆10Nov 15, 2020Updated 5 years ago
- Post processing library used to analyze memory snapshots☆29Apr 8, 2026Updated 3 weeks ago
- The implementation of RAGSynth: Synthetic Data for Robust and Faithful RAG Component Optimization☆21May 26, 2025Updated 11 months ago
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 11 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code for Findings of ACL 2023 paper "Improving Zero-shot Multilingual Neural Machine Translation by Leveraging Cross-lingual Consistency …☆10Jul 18, 2023Updated 2 years ago
- ☆12May 13, 2022Updated 3 years ago
- 一个用 ChatGPT 生成命令行的小玩具☆10Mar 7, 2023Updated 3 years ago
- Generates functions to convert Python classes to and from JSON friendly objects.☆13Jun 28, 2021Updated 4 years ago
- ChatGPT plugin for theorem proving in Lean☆124Apr 4, 2024Updated 2 years ago
- Implementation of AdaCQR(COLING 2025)☆15Dec 30, 2024Updated last year
- CLBO - Entertainment and education in the Cloud Native ecosystem☆18Mar 9, 2026Updated last month