Formalization of Machine Learning Theory with Applications to Program Synthesis
☆79Sep 29, 2026Updated last month
Alternatives and similar repositories for FormalML
Users that are interested in FormalML are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Dec 9, 2020Updated 5 years ago
- A Probability Theory Library for the Coq Theorem Prover☆55Oct 6, 2023Updated 3 years ago
- WIP collections library for Lean 4☆32May 8, 2025Updated last year
- Formalizing convex polyhedra in Coq☆24Oct 7, 2026Updated 3 weeks ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years 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.
- Lean 4 interface to Eigen☆12Dec 13, 2024Updated last year
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆49Aug 26, 2026Updated 2 months ago
- A date and time library for Lean 4☆15Apr 12, 2025Updated last year
- A program logic for concurrent randomized programs☆17Nov 9, 2018Updated 7 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Sep 12, 2017Updated 9 years ago
- what I did on my holidays☆12Jul 9, 2018Updated 8 years ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- ☆18Jan 4, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆20Jun 1, 2024Updated 2 years ago
- Program Specification in Lean 4☆27Jan 15, 2024Updated 2 years ago
- **(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.☆101Oct 25, 2023Updated 3 years ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Experiments with SAT solvers with proofs in Lean 4☆64Jun 23, 2024Updated 2 years ago
- A toolkit for enforcing logical specifications on neural networks☆136Updated this week
- ☆15Jun 11, 2025Updated last year
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated 2 years ago
- Work based on http://www-sop.inria.fr/marelle/GeometricAlgebra/☆12Jul 8, 2025Updated 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.
- A small NuPRL style proof assistant☆32Jan 31, 2019Updated 7 years ago
- ☆25Apr 21, 2021Updated 5 years ago
- Translating humaneval into dafny☆12Mar 31, 2025Updated last year
- Experiments on automation for Lean☆194Updated this week
- ☆27Nov 1, 2021Updated 4 years ago
- A Testing Framework for Lean☆86Oct 21, 2026Updated last week
- ☆14Jul 24, 2021Updated 5 years ago
- ☆23Jan 14, 2026Updated 9 months ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆17May 18, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Yet another plugin tutorial, this time as an exercise for 598☆38Jun 29, 2023Updated 3 years ago
- deep learning for math☆30May 4, 2019Updated 7 years ago
- A Learning Environment for Theorem Proving☆77Jun 21, 2022Updated 4 years ago
- ☆13Jan 23, 2022Updated 4 years ago
- A Formal Library about Elliptic Curves for the Mathematical Components Library.☆15Nov 10, 2021Updated 4 years ago
- Formalization of the basic actuarial mathematics using Coq☆23Dec 11, 2024Updated last year
- Jupyter notebook for the Lean4 programming language☆25Apr 25, 2022Updated 4 years ago