☆18Jul 12, 2025Updated last year
Alternatives and similar repositories for FormalAlign
Users that are interested in FormalAlign are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆38Jan 10, 2025Updated last year
- ☆15Jul 29, 2024Updated 2 years ago
- This is the repo for our paper "Mr-Ben: A Comprehensive Meta-Reasoning Benchmark for Large Language Models"☆51Oct 31, 2024Updated 2 years ago
- ☆26Jun 28, 2026Updated 4 months ago
- ☆18Oct 27, 2024Updated 2 years 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.
- ☆74Sep 30, 2023Updated 3 years ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆29Aug 19, 2025Updated last year
- ☆18Sep 11, 2026Updated last month
- [EACL 2026] The official GitHub repo for the paper "DebateQA: Evaluating Question Answering on Debatable Knowledge"☆11Jan 16, 2026Updated 9 months ago
- ☆34Jun 12, 2025Updated last year
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 9 months ago
- ☆49Oct 28, 2024Updated 2 years ago
- ☆16Mar 27, 2024Updated 2 years ago
- [NeurIPS 2024] Self-Optimization Improves the Efficiency of Code Generation☆15May 10, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Repository of <FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models> in EMNLP 2026 Findings☆76Aug 24, 2026Updated 2 months ago
- [ACL 2024 Findings] The official repo for "ConceptMath: A Bilingual Concept-wise Benchmark for Measuring Mathematical Reasoning of Large …☆26May 29, 2024Updated 2 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- Code repo for the paper published at EMNLP 2025: FaStfact: Faster, Stronger Long-Form Factuality Evaluations in LLMs.☆36Nov 5, 2025Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalization☆39May 20, 2024Updated 2 years ago
- The official implemention of "Critique to Verify: Accurate and Honest Test-Time Scaling with RL-Trained Verifiers"☆13Nov 11, 2025Updated 11 months ago
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated last year
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆13Jan 21, 2025Updated last year
- ☆35Sep 14, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆145Oct 13, 2026Updated 3 weeks ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Oct 18, 2026Updated 2 weeks ago
- Benchmark for undergraduate-level formal mathematics☆127Oct 14, 2024Updated 2 years ago
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated last year
- Source code for "An Empirical Study of Code Smells in Transformer-based Code Generation Techniques".☆11Oct 4, 2022Updated 4 years ago
- ☆26Aug 23, 2024Updated 2 years ago
- Kimina Lean server (+ client SDK)☆214Jan 11, 2026Updated 9 months ago
- The Dataset of NLPCC 2023 (Oral Presentation): Revisit Input Perturbation Problems for LLMs: A Unified Robustness Evaluation Framework fo…☆10Jun 3, 2025Updated last year
- Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)☆37Oct 27, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Reproducing R1 for Code with Reliable Rewards☆13Apr 9, 2025Updated last year
- Solving Competition Geometry Problems in Lean☆44Aug 26, 2025Updated last year
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated last year
- This is the official repository for all the code of TheoremLlama☆49Aug 4, 2025Updated last year
- ☆17May 31, 2023Updated 3 years ago
- ☆56Jun 15, 2026Updated 4 months ago
- A search engine for Lean 4 declarations☆82Updated this week