Popular GitHub Repositories for Theorem Prover

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

LLMs as Copilots for Theorem Proving in Lean

Tool for data extraction and interacting with Lean programmatically.

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

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

AI for Mathematics (AI4Math) paper list

ChatGPT plugin for theorem proving in Lean

Tableau-based Theorem Prover for Natural Logic and Language

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

Solving Inequality Proofs with Large Language Models.

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.

A HOL-based framework for reasoning over knowledge graphs

Experiments with interactive theorem provers, LLMs and formal systems

Codebase for Master's dissertation in Mathematics at Durham University. Topic: applying neural networks to differential equations. Grade: 85/100.

数学系一年级算法设计与分析课程的材料和时间安排

Multi-agent LLM simulations testing algorithmic collusion and coordination breakdown in oligopoly markets.

This repo is like Parseval's theorem

microk8s based ml cluster

An elegant Anthropic Claude designed Mathematical Proof Solver, written in Javascript, HTML, and CSS.