Popular GitHub Repositories for Theorem Proving

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

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.

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

Implementation of a Natural Disaster Chatbot Agent that utilizes tools (function calling) to invoke task specific knowledge bases and improve LLMs accuracy by proving live data.

microk8s based ml cluster

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

Proving Skills in Pipelines, Pickle Files and ML Modelling