☆15Jul 29, 2024Updated last year
Alternatives and similar repositories for automatic-lean4-compilation
Users that are interested in automatic-lean4-compilation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆35Jan 10, 2025Updated last year
- ☆17Jul 12, 2025Updated 11 months ago
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆210Jun 19, 2026Updated 2 weeks ago
- Lean 形式化数学☆18Dec 20, 2025Updated 6 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.
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 11 months ago
- Tool to analyse the import structure of lean projects.☆21Jun 17, 2026Updated 2 weeks ago
- ☆13Jul 14, 2024Updated last year
- ☆24Feb 3, 2026Updated 5 months ago
- ☆34Jun 12, 2025Updated last year
- ☆17Jun 17, 2025Updated last year
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆30May 20, 2025Updated last year
- Write LaTeX presentations directly from Lean4~☆29Dec 28, 2025Updated 6 months ago
- ☆35Sep 14, 2025Updated 9 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.
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆55Feb 23, 2026Updated 4 months ago
- Lean mathzoo☆24Mar 23, 2022Updated 4 years ago
- Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data☆43May 29, 2024Updated 2 years ago
- Long Form NLG Generation Based on Large Language Models☆17Jan 31, 2024Updated 2 years ago
- Experiments with representation engineering☆14Feb 28, 2024Updated 2 years ago
- Probabilistic programming with programmable variational inference.☆22Jun 22, 2024Updated 2 years ago
- Interpretability dashboard for reinforcement learners☆16Jun 4, 2019Updated 7 years ago
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆27Jun 26, 2026Updated last week
- ☆73Mar 25, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆26Jun 9, 2026Updated 3 weeks ago
- ☆13Jun 26, 2024Updated 2 years ago
- ☆89Dec 29, 2023Updated 2 years ago
- ☆25Apr 6, 2026Updated 2 months ago
- Code for the paper "Continual Model-Based Reinforcement Learning with Hypernetworks"☆15Jul 28, 2021Updated 4 years ago
- Natural language to robot code☆24Jun 12, 2026Updated 3 weeks ago
- ☆74Apr 2, 2024Updated 2 years ago
- Code for COLING 2022 long paper: Answering Numerical Reasoning Questions in Table-Text Hybrid Contents with Graph-based Encoder and Tree-…☆22Dec 15, 2022Updated 3 years ago
- Interactive neural theorem proving in Lean☆132Mar 24, 2022Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Controlled Text Generation Image Dataset☆28Apr 8, 2024Updated 2 years ago
- ☆44Feb 18, 2026Updated 4 months ago
- Lean 定理证明☆25Dec 28, 2025Updated 6 months ago
- ☆51Jun 27, 2026Updated last week
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization☆37Mar 9, 2025Updated last year
- Technical report of Kimina-Prover Preview.☆371Jul 10, 2025Updated 11 months ago
- Retrieval-Augmented Theorem Provers for Lean☆326Jan 30, 2025Updated last year