☆45Jul 29, 2026Updated 3 months ago
Alternatives and similar repositories for Lean4Agent
Users that are interested in Lean4Agent are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [ICLR 2026] Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4☆20Mar 20, 2026Updated 7 months ago
- (ACL 2025 Main) Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification - Offici…☆21Dec 26, 2025Updated 10 months ago
- An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs usin…☆22May 30, 2025Updated last year
- ☆15Mar 25, 2026Updated 7 months ago
- ☆14Sep 19, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Oct 15, 2026Updated 3 weeks ago
- A Lean4 Formalization of Polynomial Functors☆30Jul 10, 2026Updated 4 months ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- "Large Language Models" Course (COMP4901B) offered in HKUST☆13Nov 23, 2025Updated 11 months ago
- [NeurIPS 2025] Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks☆14Nov 29, 2025Updated 11 months ago
- [EMNLP2026 Findings] TRAJDEBUG: Tracing Error Lifecycle to Identify Critical Failures in Long-Horizon Agent Trajectories☆21Sep 7, 2026Updated 2 months ago
- Benchmark based on the Logical Foundations volume of [Software Foundations](https://softwarefoundations.cis.upenn.edu/)☆13Feb 20, 2026Updated 8 months ago
- SorryDB indexes sorries in public lean repositories☆57Sep 8, 2026Updated 2 months ago
- ☆18Sep 11, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- This is the official implementation for MA-LoT.☆21Aug 4, 2025Updated last year
- ☆15Jun 18, 2023Updated 3 years ago
- Spontaenous emergence of conventions in populations of LLMs☆16Feb 27, 2025Updated last year
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 7 months ago
- [NeurIPS 2026] AgentForesight: Online Auditing for Early Failure Prediction in Multi-Agent Systems☆26Updated this week
- Schemes in Lean (v2)☆46Jul 30, 2020Updated 6 years ago
- First implementation of EE8204 Course Project. This code aims at utilizing a Deep Residual U-Net to segment roads from satellite imagery☆12Sep 20, 2020Updated 6 years ago
- The Lean Machine Learning Library☆48Updated this week
- Audit any agent decision across its past, present, and future, on one typed graph.☆31Oct 26, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Market-based post-training (MPT), a framework for jointly learning action policies and self-orchestration in decentralized agent swarms.☆22Oct 16, 2026Updated 3 weeks ago
- ☆14Oct 27, 2026Updated 2 weeks ago
- Formal prime certificates in Lean 4☆13Updated this week
- ☆68Jan 15, 2026Updated 9 months ago
- Fast Gradient Sign Method and Iterative Least-Likely Class, using LeNet and DenseNet in PyTorch☆10Nov 18, 2019Updated 6 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- GPU kernel verification with Pulse☆30Updated this week
- Repository for the BioCAP model project. [ICLR'26] Biological foundation model trained on the TreeOfLife-10M dataset paired with a new Tr…☆12Oct 10, 2026Updated last month
- A persistent management layer for Claude Code Agent Teams☆27Oct 28, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Tokio-inspired concurrency library and work-stealing scheduler for Lean 4, with machine-checked proofs.☆33Nov 2, 2026Updated last week
- ☆26Apr 12, 2026Updated 7 months ago
- BigRocq is a utility, that takes a Rocq (former Coq) project as input and uses domain knowladge to increase a number of theorems in the d…☆12Feb 11, 2026Updated 9 months ago
- Tool and artifact of the paper "Process-Centric Analysis of Agentic Software Systems" [OOPSLA'26]☆21Oct 29, 2026Updated 2 weeks ago
- Benchmarking LLMs on Real-World Software Verification in Lean 4☆16Oct 13, 2026Updated 3 weeks ago
- ☆76Mar 25, 2026Updated 7 months ago
- Benchmark for evaluating Coq proof search tools.☆12Apr 27, 2026Updated 6 months ago
Are these results useful?