☆75May 31, 2025Updated 10 months ago
Alternatives and similar repositories for estimate_tools
Users that are interested in estimate_tools are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Dec 25, 2023Updated 2 years ago
- Code to automatically prove or verify estimates in analysis☆334Jul 1, 2025Updated 9 months ago
- ☆14Dec 12, 2023Updated 2 years ago
- A template for blueprint-driven formalization projects in Lean.☆103Apr 3, 2026Updated last week
- Solving Competition Geometry Problems in Lean☆35Aug 26, 2025Updated 7 months ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A comprehensive benchmark for evaluating deep research agents on academic survey tasks☆50Sep 4, 2025Updated 7 months ago
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.☆83Updated this week
- Project to verify the Guy-Selfridge conjectures☆26Apr 3, 2026Updated last week
- Template for Lean<->Rust FFI☆15Feb 11, 2024Updated 2 years ago
- Proof artifact co-training for Lean☆44Dec 29, 2022Updated 3 years ago
- The official repo for "OpenMoE 2: Sparse Diffusion Language Models".☆54Dec 28, 2025Updated 3 months ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- An introduction to theorem proving in Lean for the impatient.☆354Feb 12, 2026Updated 2 months ago
- Lean formalizations of IMO problem statements☆32Oct 23, 2025Updated 5 months ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- HyperTree Proof Search for Neural Theorem Proving -- "La science est l'œuvre de l'esprit humain, qui est plutôt destiné à étudier qu'à co…☆41Updated this week
- Basic Polynomial Algebra Subprograms☆17Jul 29, 2025Updated 8 months ago
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 2 months ago
- A compiler for microarchitectural weird machines☆20Aug 10, 2024Updated last year
- Reverse engineered API for Microsoft's Time Travel Debugger☆36Apr 18, 2024Updated last year
- Lean 形式化数学☆17Dec 20, 2025Updated 3 months ago
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models>☆77Jan 8, 2026Updated 3 months ago
- Blueprint for the PNT+ Project☆283Apr 8, 2026Updated last week
- Generates functions to convert Python classes to and from JSON friendly objects.☆13Jun 28, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Formalisation of the theory of real closed fields in Lean 4.☆15Mar 27, 2026Updated 2 weeks ago
- ☆108Apr 8, 2026Updated last week
- Literals for Zarith's arbitrary-precision integers and rationals☆12Aug 18, 2022Updated 3 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆28May 20, 2025Updated 10 months ago
- ☆12Aug 7, 2022Updated 3 years ago
- Code for "[COLM'25] RepoST: Scalable Repository-Level Coding Environment Construction with Sandbox Testing"☆24Mar 18, 2025Updated last year
- ☆73Mar 25, 2026Updated 3 weeks ago
- Code & Weights for “Learning Robust Anymodal Segmentor with Unimodal and Cross-modal Distillation”☆14Dec 6, 2024Updated last year
- General neural tactic for Lean 4☆25Updated this week
- 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.
- 4D Genome Reconstruction and Dynamics Prediction: Maximum Entropy Based HI-C/Distance Map - Polymer Physics - Structures Method☆13Apr 7, 2026Updated last week
- A Haskell probabilistic programming library.☆21Mar 28, 2026Updated 2 weeks ago
- The official implementation of dLLM-Var☆32Nov 6, 2025Updated 5 months ago
- Implementation of the model: "Reka Core, Flash, and Edge: A Series of Powerful Multimodal Language Models" in PyTorch☆28Mar 30, 2026Updated 2 weeks ago
- A project to digitalise results from physics into Lean.☆540Updated this week
- ☆28Jul 16, 2025Updated 9 months ago
- The official repository for the paper Multilingual Mathematical Autoformalization☆38May 20, 2024Updated last year