Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 9 Machine Learning Theorem Proving Open Source Projects

Open source projects categorized as Machine Learning Theorem Proving
Categories > Machine Learning > Machine Learning
Categories > Mathematics > Theorem Proving
Cakeml ⭐ 879
CakeML: A Verified Implementation of ML
most recent commit 3 months ago
Leancopilot ⭐ 593
LLMs as Copilots for Theorem Proving in Lean
most recent commit 3 months ago
Leandojo ⭐ 397
Tool for data extraction and interacting with Lean programmatically.
most recent commit 3 months ago
Certigrad ⭐ 346
Bug-free machine learning on stochastic computation graphs
most recent commit 5 years ago
Coqgym ⭐ 327
A Learning Environment for Theorem Proving with the Coq proof assistant
most recent commit 10 months ago
Reprover ⭐ 136
Retrieval-Augmented Theorem Provers for Lean
most recent commit 3 months ago
Informatica Public ⭐ 78
Public code developed during my MSc study at University of Bologna
most recent commit a year ago
Gamepad ⭐ 58
A Learning Environment for Theorem Proving
most recent commit 4 years ago
Coq Tactician ⭐ 47
A Seamless, Interactive Tactic Learner and Prover for Coq
most recent commit 5 months ago
Popular Machine Learning Categories
Deep Learning
Machine Learning
Pytorch
Tensorflow
Natural Language Processing
Neural Network
Neural
Computer Vision
Convolutional Neural Networks
Opencv
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.