litexlang / golitexLinks
Litex is a simple formal language Learnable in 2 hours.
☆653Updated 2 weeks ago
Alternatives and similar repositories for golitex
Users that are interested in golitex are comparing it to the libraries listed below
Sorting:
- Technical report of Kimina-Prover Preview.☆359Updated 7 months ago
- ☆411Updated last month
- ☆145Updated 5 months ago
- Kimina Lean server (+ client SDK)☆179Updated last month
- ☆224Updated 10 months ago
- ☆331Updated 4 months ago
- ☆1,475Updated 2 months ago
- Understanding R1-Zero-Like Training: A Critical Perspective☆1,205Updated 5 months ago
- Code to automatically prove or verify estimates in analysis☆326Updated 7 months ago
- Unleashing the Power of Reinforcement Learning for Math and Code Reasoners☆741Updated 8 months ago
- The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"☆117Updated 10 months ago
- ☆83Updated 7 months ago
- In this work, we investigate the compositionality of large language models (LLMs) in mathematical reasoning. Specifically, we construct a…☆61Updated 10 months ago
- An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.☆212Updated last month
- [COLM 2024] A Survey on Deep Learning for Theorem Proving☆216Updated 8 months ago
- ☆68Updated 3 months ago
- Retrieval-Augmented Theorem Provers for Lean☆316Updated last year
- The most open diffusion language model for code generation — releasing pretraining, evaluation, inference, and checkpoints.☆519Updated 3 months ago
- Paper list of agent for science☆193Updated 3 weeks ago
- LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.☆124Updated 2 months ago
- The official GitHub repo for the survey paper "A Survey on Diffusion Language Models".☆755Updated last week
- Tool for data extraction and interacting with Lean programmatically.☆762Updated 3 weeks ago
- Automatic solver for plane geometry problems.☆86Updated 5 months ago
- ☆937Updated last month
- ☆16Updated last year
- ☆1,543Updated 2 months ago
- ☆482Updated last year
- ☆1,236Updated 6 months ago
- ☆41Updated 6 months ago
- LLM verified with Monte Carlo Tree Search☆284Updated 10 months ago