Learning Formal Mathematics from Intrinsic Motivation
☆37Jul 10, 2025Updated 7 months ago
Alternatives and similar repositories for minimo
Users that are interested in minimo are comparing it to the libraries listed below
Sorting:
- ☆31Aug 25, 2022Updated 3 years ago
- ☆57Dec 1, 2025Updated 3 months ago
- Python wrapper for lean-gym☆12Apr 5, 2023Updated 2 years ago
- anything you want can be built with morph cloud☆27Oct 14, 2025Updated 4 months ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- Proof artifact co-training for Lean☆45Dec 29, 2022Updated 3 years ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆117Mar 28, 2025Updated 11 months ago
- Experiments with interactive theorem provers, LLMs and formal systems☆23Jul 10, 2023Updated 2 years ago
- Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions☆25Nov 7, 2024Updated last year
- Script for processing OpenAI's PRM800K process supervision dataset into an Alpaca-style instruction-response format☆27Jul 12, 2023Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Aug 18, 2024Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆26May 25, 2024Updated last year
- Python client to interact with the lean4 language server.☆40Jan 12, 2026Updated last month
- ☆68Nov 7, 2025Updated 3 months ago
- B-Spline Density Estimation Library - nonparametric density estimation using B-Spline density estimator from univariate sample.☆16Aug 22, 2021Updated 4 years ago
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆218May 28, 2025Updated 9 months ago
- ☆227Apr 4, 2025Updated 10 months ago
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Sep 7, 2025Updated 5 months ago
- Kimina Lean server (+ client SDK)☆183Jan 11, 2026Updated last month
- ☆71Sep 30, 2023Updated 2 years ago
- ☆35Jan 10, 2025Updated last year
- [OpenEDM] Arc Generator Project☆18Feb 13, 2026Updated 2 weeks ago
- Starter SDK for full-stack EVM applications, built for TreeHacks 2025 Web3 Workshop☆13Feb 14, 2025Updated last year
- ☆36May 25, 2023Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- code for paper "DRoC: Elevating Large Language Models for Complex Vehicle Routing via Decomposed Retrieval of Constraints"☆26Feb 4, 2025Updated last year
- This is the official implementation for MA-LoT.☆19Aug 4, 2025Updated 6 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Dec 12, 2022Updated 3 years ago
- ☆12Aug 6, 2024Updated last year
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- ⚠️ ARCHIVED - All development moved to https://github.com/itbench-hub/ITBench/tree/main/scenarios☆15Feb 24, 2026Updated last week
- A Python library for building modular, reproducible simulation pipelines in minutes☆32Aug 22, 2025Updated 6 months ago
- Code for CVPR2021 Paper “Cascaded Prediction Network via Segment Tree for Temporal Video Grounding”☆10Apr 3, 2022Updated 3 years ago
- A model combining Deep Neural Networks and (Stochastic) Random Forests.☆14Jun 5, 2018Updated 7 years ago
- ☆12Feb 6, 2021Updated 5 years ago
- An interactive environment for exploring, refining, and visualizing mathematical proofs with AI assistance.☆31Feb 18, 2026Updated last week
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell☆15Feb 21, 2020Updated 6 years ago
- Solving Competition Geometry Problems in Lean☆30Aug 26, 2025Updated 6 months ago
- Graph-based neural tactic prediction models for Coq.☆15Sep 17, 2025Updated 5 months ago