Research code base for Automatic Textbook Formalization
☆155Mar 31, 2026Updated 3 months ago
Alternatives and similar repositories for repoprover
Users that are interested in repoprover are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An Automatic Theorem Prover for Hilbert System, generating nearly-minimal proofs.☆14Jan 21, 2025Updated last year
- Internal utility libraries for Pkl☆17Jun 25, 2026Updated last week
- LangChain + llamaCPP + babyAGI implementation☆13Apr 12, 2023Updated 3 years ago
- ☆49Jun 15, 2026Updated 2 weeks ago
- Connecting bv_decide to SMTLIB.☆15Jun 8, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- NeqLIPS: a powerful Olympiad-level inequality prover☆40Sep 7, 2025Updated 9 months ago
- SAT solvers from Knuth's The Art of Computer Programming, Vol. 4B☆10Jan 5, 2026Updated 5 months ago
- An official implementation of Random Policy Valuation is Enough for LLM Reasoning with Verifiable Rewards☆36Oct 3, 2025Updated 8 months ago
- prompt engineering experiments with DSPy GEPA and TextGrad☆70Sep 2, 2025Updated 9 months ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Implementation of "SALSA-CLRS: A Sparse and Scalable Benchmark for Algorithmic Reasoning". SALSA-CLRS is an extension to the original clr…☆22Nov 21, 2023Updated 2 years ago
- ☆44Jun 9, 2026Updated 3 weeks ago
- Internationalisation library for Web applications (server and/or client)☆16Jun 22, 2026Updated last week
- The training codes of Jasper-Token-Compression-600M☆20Nov 19, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆35Oct 23, 2025Updated 8 months ago
- iEDA water-drop training initiative☆14Sep 10, 2024Updated last year
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated last year
- ☆353Jun 16, 2026Updated 2 weeks ago
- A circuit-based Boolean satisfiability (SAT) solver☆19Jan 12, 2026Updated 5 months ago
- BitMEX to DTC gateway☆12Jan 2, 2019Updated 7 years ago
- Self Evolving Large Multimodal Models with Continuous Rewards☆24Jun 9, 2026Updated 3 weeks ago
- Boosted E-Graph Extraction with Adaptive Heuristics and Exact Solving☆30Jan 7, 2026Updated 5 months ago
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆86May 13, 2026Updated last month
- 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.
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Apr 24, 2026Updated 2 months ago
- ☆16Jul 3, 2023Updated 2 years ago
- ROSA+: RWKV's ROSA implementation with fallback statistical predictor☆36Oct 13, 2025Updated 8 months ago
- writing small and readable code☆10Oct 18, 2015Updated 10 years ago
- ☆33May 11, 2026Updated last month
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- Cell Layout Generation for DTCO/STCO Exploration Toolkit☆26May 24, 2025Updated last year
- Graph-based neural tactic prediction models for Coq.☆18Sep 17, 2025Updated 9 months ago
- LLM4HWDesign Starting Toolkit☆19Oct 4, 2024Updated 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.
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Nov 2, 2023Updated 2 years ago
- The official repository of the first version of ACE-Brain foundation model.☆80Mar 13, 2026Updated 3 months ago
- A retargetable and extensible synthesis-based compiler for modern hardware architectures☆18Nov 20, 2025Updated 7 months ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 4 years ago
- An anki deck to learn the major system☆40Apr 22, 2021Updated 5 years ago
- ☆67May 7, 2026Updated last month
- Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)☆375Jun 12, 2026Updated 2 weeks ago