Awesome Open Source

Programming Languages

Search results for machine learning lean

machine-learning x

6 search results found

Leancopilot ⭐ 593

LLMs as Copilots for Theorem Proving in Lean

Leandojo ⭐ 397

Tool for data extraction and interacting with Lean programmatically.

Certigrad ⭐ 346

Bug-free machine learning on stochastic computation graphs

Code for Parsel 🐍 - generate complex programs with language models

Reprover ⭐ 136

Retrieval-Augmented Theorem Provers for Lean

Leandojochatgpt ⭐ 90

ChatGPT plugin for theorem proving in Lean

Formal Ml ⭐ 7

Related Searches

Python Machine Learning (14,099)

Jupyter Notebook Machine Learning (12,247)

Machine Learning Neural Network (4,397)

Machine Learning Tensorflow (4,050)

Machine Learning Natural Language Processing (3,891)

Machine Learning Artificial Intelligence (3,877)

Machine Learning Data Science (3,802)

Machine Learning Pytorch (2,910)

Machine Learning Dataset (2,298)

Machine Learning Computer Vision (1,966)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

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