MoonshotAI / Kimina-Prover-PreviewLinks
Technical report of Kimina-Prover Preview.
☆359Updated 7 months ago
Alternatives and similar repositories for Kimina-Prover-Preview
Users that are interested in Kimina-Prover-Preview are comparing it to the libraries listed below
Sorting:
- ☆411Updated last month
- ☆224Updated 10 months ago
- ☆145Updated 5 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆117Updated 10 months ago
- ☆76Updated last month
- ☆482Updated last year
- Retrieval-Augmented Theorem Provers for Lean☆316Updated last year
- The official repository for the paper Multilingual Mathematical Autoformalization☆38Updated last year
- Automatic solver for plane geometry problems.☆86Updated 5 months ago
- ☆554Updated last year
- ☆43Updated last month
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆212Updated last month
- ☆68Updated 3 months ago
- Kimina Lean server (+ client SDK)☆179Updated last month
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆216Updated 8 months ago
- ☆208Updated this week
- LLMs + Lean, on your laptop or in the cloud☆199Updated 4 months ago
- Code for the paper LEGO-Prover: Neural Theorem Proving with Growing Libraries☆67Updated last year
- Physics of Language Models: Part 4.2, Canon Layers at Scale where Synthetic Pretraining Resonates in Reality☆317Updated last month
- Parallel Scaling Law for Language Model — Beyond Parameter and Inference Time Scaling☆469Updated 8 months ago
- Evaluation of LLMs on latest math competitions☆216Updated last week
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆124Updated 2 months ago
- Solving Inequality Proofs with Large Language Models.☆56Updated last month
- ☆197Updated 3 weeks ago
- StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning Fusion☆23Updated 5 months ago
- [ACL 2024]Official GitHub repo for OlympiadBench: A Challenging Benchmark for Promoting AGI with Olympiad-Level Bilingual Multimodal Scie…☆182Updated 8 months ago
- A Gym for Agentic LLMs☆444Updated 3 weeks ago
- ☆47Updated 6 months ago
- A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning☆283Updated 4 months ago
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆98Updated last year