Popular GitHub Repositories for Theorem

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

Proof of thought : LLM-based reasoning using Z3 theorem proving with multiple backend support (SMT2 and JSON DSL)

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.

A Docker image for running the ACL2 theorem proving system and books in JupyterLab.

Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs

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

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

This repo is like Parseval's theorem