LeanDojo-v2 is an end-to-end framework for training, evaluating, and deploying AI-assisted theorem provers for Lean 4.
☆45Mar 1, 2026Updated last week
Alternatives and similar repositories for LeanDojo-v2
Users that are interested in LeanDojo-v2 are comparing it to the libraries listed below
Sorting:
- Learning Formal Mathematics from Intrinsic Motivation☆37Jul 10, 2025Updated 7 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆27May 25, 2024Updated last year
- ☆71Sep 30, 2023Updated 2 years ago
- ☆12Aug 6, 2024Updated last year
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 7 months ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- data prep utilities for LLMs, using LLMs☆16Nov 7, 2023Updated 2 years ago
- ACL Rolling Review website☆11Feb 24, 2026Updated last week
- Implementation for EACL 2024 paper "Corpus-Steered Query Expansion with Large Language Models"☆12Mar 19, 2024Updated last year
- ☆14Jul 18, 2025Updated 7 months ago
- Dataset from Tip of the Tongue Known-Item Retrieval (2021) paper.☆12Nov 4, 2021Updated 4 years ago
- A collection of Javascript libraries to create 2D diagrams (focused on graphics and rendering theory)☆18Oct 26, 2025Updated 4 months ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- ☆10Sep 26, 2024Updated last year
- My notes about mathematics.☆19Updated this week
- ☆12May 10, 2019Updated 6 years ago
- Code for the paper Multi-Armed Bandits with Correlated Arms☆10Jun 3, 2021Updated 4 years ago
- ☆11Oct 11, 2023Updated 2 years ago
- A little drawing pad that uses boids to stroke the paths you draw.☆11Apr 29, 2018Updated 7 years ago
- Tutorial for Scala on Spark only☆12May 6, 2018Updated 7 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- ☆10Oct 6, 2021Updated 4 years ago
- 一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。☆17May 16, 2025Updated 9 months ago
- Render any renderable node in background.☆11Jul 18, 2019Updated 6 years ago
- REST API + Web Server for Lazyploy. Governs, monitors, and distributes builds.☆11Jan 6, 2023Updated 3 years ago
- Visual Studio 2017 Install Scripts☆12Jun 19, 2018Updated 7 years ago
- ☆12Jul 6, 2023Updated 2 years ago
- CovidPulse - United States Covid-19 trend lines, since March☆15Mar 10, 2023Updated 2 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated last month
- ☆15Nov 23, 2023Updated 2 years ago
- Apache Airflow plugin that exposes custom secure API endpoints similar to the official Airflow API, providing richer capabilities to supp…☆11Feb 4, 2024Updated 2 years ago
- Code for Expert Supervised Reinforcement Learning☆10Apr 7, 2021Updated 4 years ago
- ROCC: Reinforcement learning for the Optimisation of Co-Cultures☆13Nov 17, 2020Updated 5 years ago
- [ECCV2022] Rethinking Data Augmentation for Robust Visual Question Answering☆13Nov 23, 2022Updated 3 years ago
- UE4 port of https://github.com/dabeschte/VRArmIK☆12Dec 5, 2024Updated last year
- Towards a Mechanistic Understanding of Large Reasoning Models: A Survey of Training, Inference, and Failures☆30Jan 29, 2026Updated last month
- ☆11Nov 24, 2021Updated 4 years ago
- Jupyter Notes on Computational Conformal Geometry☆13Jul 8, 2022Updated 3 years ago
- PyTorch implementation of the estimator proposed in the paper "Estimating Differential Entropy under Gaussian Convolutions"☆13Oct 22, 2020Updated 5 years ago