Python wrapper for lean-gym
☆13Apr 5, 2023Updated 3 years ago
Alternatives and similar repositories for pylean
Users that are interested in pylean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆201Jan 23, 2023Updated 3 years ago
- 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
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- ☆74Sep 30, 2023Updated 3 years ago
- Repository to store helper scripts for creating an Irish BERT model.☆12Mar 13, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Debate interface, experiments, etc.☆12Mar 12, 2024Updated 2 years ago
- Proof artifact co-training for Lean☆43Dec 29, 2022Updated 3 years ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Oct 17, 2023Updated 3 years ago
- llmstep: [L]LM proofstep suggestions in Lean 4.☆156Nov 11, 2023Updated 2 years ago
- Benchmark for undergraduate-level formal mathematics☆127Oct 14, 2024Updated 2 years ago
- ☆76Mar 25, 2026Updated 7 months ago
- A Foreign Function Interface (FFI) to cvc5 solver in Lean.☆28Sep 16, 2026Updated last month
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆57Sep 6, 2023Updated 3 years ago
- Python talking to the Lean theorem prover☆46Aug 25, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 15k open math problems, linked to their sources.☆28Oct 25, 2026Updated last week
- ☆15Jun 20, 2025Updated last year
- Experiments with interactive theorem provers, LLMs and formal systems☆26Jul 10, 2023Updated 3 years ago
- ACT community resources☆30Oct 3, 2019Updated 7 years ago
- Simple Implementation of TinyGPTV in super simple Zeta lego blocks☆16Nov 11, 2024Updated last year
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated 4 months ago
- Catalog Of Math Problems Formalized In Lean☆255Oct 23, 2026Updated last week
- ☆12Mar 29, 2026Updated 7 months ago
- Verina (Verifiable Code Generation Arena) is a high-quality benchmark enabling a comprehensive and modular evaluation of code, specificat…☆84Aug 17, 2026Updated 2 months ago
- 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.
- A simple REPL for Lean 4, returning information about errors and sorries.☆237Updated this week
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- Maçkolik sitesi üzerinden aldığım eski maç kayıtları ile makine öğrenmesi kütüphaneleri ile maç tahmininde bulunma.☆11Apr 26, 2019Updated 7 years ago
- Visor Finance 攻击事件的分析和复现☆10Dec 22, 2021Updated 4 years ago
- Retrieval-Augmented Theorem Provers for Lean☆339Jan 30, 2025Updated last year
- Learning Formal Mathematics from Intrinsic Motivation☆36Jul 10, 2025Updated last year
- ☆10Nov 3, 2022Updated 4 years ago
- ☆11May 10, 2022Updated 4 years ago
- ☆15Oct 5, 2026Updated 3 weeks 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.
- Python client to interact with the lean4 language server.☆49Aug 19, 2026Updated 2 months ago
- ☆26Jun 28, 2026Updated 4 months ago
- This repo reflects the tests conducted by Nescience Team on selected zkVMs.☆12Aug 18, 2025Updated last year
- Large language models designed for formal theorem proving through tool-integrated reasoning.☆33Aug 13, 2025Updated last year
- A binding of the physics engine Chipmunk for Julia☆10Sep 26, 2015Updated 11 years ago
- Code for NeurIPS 2020 paper 'Self-imitation Learning via Generalized Lower bound Q-learning'☆12Feb 13, 2021Updated 5 years ago
- Imitation learning from multiple experts☆13Aug 29, 2022Updated 4 years ago