Popular GitHub Repositories for Lean Theorem Prover

Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"

LLMs as Copilots for Theorem Proving in Lean

Diffusion Classifier leverages pretrained diffusion models to perform zero-shot classification without additional training

Code for Parsel ? - generate complex programs with language models

Artificial intelligence/machine learning data structures and Swift algorithms for future iOS development. bayes theorem, neural networks, and more AI.

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

At Well, we believe that founders should spend their time building, not buried in admin. We’re building the AI-powered infrastructure that automates receipts and supplier invoices retrieval, processing and orchestration to your preferred FinOps Tool — designed for solopreneurs, indie hackers, and lean startup teams.

AI for Mathematics (AI4Math) paper list

ChatGPT plugin for theorem proving in Lean

Input text from speech in any Linux window, the lean, fast and accurate way, using whisper.cpp offline. Speak with local LLMs.

Tableau-based Theorem Prover for Natural Logic and Language

Lean implementation of various multi-agent LLM methods, including Iteration of Thought (IoT)

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction

This code provides a gpt agent that can automatically execute several basic steps of the lean startup approach for business model developmet

Formalizing "Proofs from THE BOOK"

zeta-lean: minimalistic python machine learning library built on top of numpy and matplotlib

Solving Inequality Proofs with Large Language Models.

A search engine for Lean 4 declarations

LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expanding mathematical knowledge without forgetting previously learned knowledge.

The OllaLab-Lean project is designed to help both novice and experienced developers rapidly set up and begin working on LLM-based projects.