☆14Nov 18, 2025Updated 11 months ago
Alternatives and similar repositories for miniF2F_v2
Users that are interested in miniF2F_v2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆25Nov 17, 2025Updated 11 months ago
- The Megalodon interactive theorem prover and proof checker☆15Apr 14, 2024Updated 2 years ago
- [COLM25] Enhancing Autoformalization with no Labeled Data☆14Aug 26, 2025Updated last year
- ☆14Oct 30, 2025Updated last year
- ☆18Mar 25, 2026Updated 7 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆31May 20, 2025Updated last year
- Generic interface for hooking up to any Interactive Theorem Prover (ITP) and collecting data for training ML models for AI in formal theo…☆20Jul 10, 2026Updated 3 months ago
- ☆26Jun 28, 2026Updated 4 months ago
- An implementation of Horton hash tables☆10Aug 24, 2016Updated 10 years ago
- ☆76Mar 25, 2026Updated 7 months ago
- Lean4 benchmark on 1 category.☆30Jun 19, 2026Updated 4 months ago
- Experiment code for 'Automated Discovery Has No Universally Superior Harness'☆14Aug 20, 2026Updated 2 months ago
- LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management☆77Jan 15, 2025Updated last year
- Efficient solutions to Project Euler (https://projecteuler.net/) problems.☆12Feb 12, 2017Updated 9 years ago
- 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.
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- A controlled natural language syntax for Lean.☆16Updated this week
- Experiments with some ways of automating reasoning in lean 4☆19Apr 20, 2024Updated 2 years ago
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆35Nov 1, 2025Updated last year
- Scaling to Tens of Thousands of Test-Time Iterations with Loop-Native Attention Residuals☆12Oct 21, 2026Updated 2 weeks ago
- ArtKrit, a plugin for Krita that helps artists enhance their drawing skills by scaffolding the process of replicating a reference image i…☆17Jan 17, 2026Updated 9 months ago
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated last year
- ☆15May 3, 2026Updated 6 months ago
- A purely functional higher order logic kernel☆15Sep 12, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Dance Revolution: Long-Term Dance Generation with Music via Curriculum Learning☆11Mar 11, 2021Updated 5 years ago
- ☆12Sep 29, 2024Updated 2 years ago
- A trie data structure implemented in OCaml☆10Feb 8, 2012Updated 14 years ago
- Information-cell theory paper and POC C++ implementation☆11Oct 25, 2026Updated last week
- Brain Interpreter and Visualizer Online.☆10Sep 1, 2016Updated 10 years ago
- DuetGen: Music Driven Two-Person Dance Generation via Hierarchical Masked Modeling [SIGGRAPH 2025]☆17Jan 17, 2026Updated 9 months ago
- VADER sentiment classifier updated with financial lexicons☆12Dec 7, 2023Updated 2 years ago
- ☆10Apr 20, 2026Updated 6 months ago
- ☆13Oct 9, 2025Updated last year
- 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.
- LibCP -- A Library for Conformal Prediction☆13Feb 26, 2015Updated 11 years ago
- A formally-verified compiler IR☆10May 5, 2026Updated 6 months ago
- ☆17Oct 13, 2026Updated 3 weeks ago
- Probabilistic programming with vectorized programmable inference☆13Sep 27, 2026Updated last month
- ☆13Jan 15, 2026Updated 9 months ago
- ☆14Nov 4, 2025Updated last year
- Safe high-level bindings for the Boolector SMT solver☆14Apr 5, 2022Updated 4 years ago