automated-theorem-proving

There are 2 repositories under automated-theorem-proving topic.

j991222 / ai4math-papers
AI for Mathematics (AI4Math) paper list
paper-list ai4math machine-learning reinforcement-learning automated-theorem-proving autoformalizaion benchmarks
182
stanford-centaur / PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
automated-reasoning automated-theorem-proving lean4 machine-learning python theorem-proving
Language:Python 116
janicicpredrag / gclc
GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated proving of geometry theorems.
teaching-geometry automated-theorem-proving latex tikz mathematical-illustrations software-for-teaching geometry mathematics theorem-prover
Language:C++ 63
Eleanor-H / MUSTARD
Code & data for ICLR 2024 spotlight paper: 🍯MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
automated-theorem-proving complex-reasoning data-synthesis large-language-models machine-learning math-word-problem math-word-problem-solving natural-language-processing theorem-proving ai4math
Language:C++ 41
auntyellow / math
Brute force math problem solving
geometry mathematics sympy geogebra automated-theorem-proving
Language:Python 7
konstantinosKokos / quill
🪶 Neural premise selection for Agda.
agda premise-selection neurips-2024 representation-learning automated-theorem-proving neurosymbolic
Language:Python 5
amka66 / mai
mai: MAth Interpreter with Standard Foundations
foundations-of-mathematics proof-assistant first-order-logic set-theory formal-mathematics automated-theorem-proving
Language:Prolog 4
vladimir-skvortsov / ontol
A tool for parsing and visualizing ontology files written in the Ontol DSL
dsl json plantuml uml ast lexer parser automated-theorem-proving ontology
Language:Python 4
FormalMathematicsLab / llmlean
LLMs + Lean, on your laptop or in the cloud
automated-theorem-proving formal-mathematics formalization interactive-theorem-proving lean4 llm
Language:Lean 2
HOLMS-lib / HOLMS
HOL-Light Library for Modal Systems
automated-theorem-proving higher-order-logic hol-light interactive-theorem-proving modal-logics proof-assistant theorem-proving
Language:OCaml 2
artemmavrin / autoproof
Intuitionistic and classical propositional logic library
automated-theorem-proving natural-deduction proof-search intuitionistic-logic sequent-calculus classical-logic propositional-logic
Language:Haskell 1
aureleeNet / rio
A reasoner for Input/Output logic
input-output-logic normative-reasoning automated-deduction tptp automated-theorem-proving deontic-logics
Language:Scala 1
Brandon-Rozek / TPTP-Examples
Example axiom and problem files within the TPTP Format
automated-theorem-proving tptp
Language:OpenEdge ABL 1
HOLMS-lib / holms-lib.github.io
HOL Light Library for Modal Systems
automated-theorem-proving higher-order-logic hol-light interactive-theorem-proving modal-logic proof-assistant theorem-proving
1
jaalonso / Razonando-con-Lean
Elaboración de demostraciones con Lean.
automated-theorem-proving leanprover mathematics proof-assistant
Language:Lean 1
philzook58 / pyvampire
A simple repackaging of the Vampire automated theorem prover
automated-theorem-proving first-order-logic logic theorem-prover
Language:Shell 1
elizabeth-c-chen / data1030-ML-theorem-proving
Course Project for Hands-on Data Science (DATA 1030) at Brown University.
automated-theorem-proving classification data-science machine-learning python
Language:Jupyter Notebook 0
MarcinBrojek / log-FO-prover
A tool for automatically verifying whether a given first-order logic formula is a tautology, based on Herbrand's theory and the Davis-Putnam SAT solver. Implemented in C++.
automated-theorem-proving cpp first-order-logic
Language:C++ 0
RAIRLab / prover
This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.
automated-theorem-proving java
Language:Common Lisp 0
cluesurfback / math
Math in XO
math interactive-theorem-proving automated-theorem-proving formal-verification proofs theorem-proving foundations
filipbartek / learning-precedences-from-elementary-symbol-features
automated-theorem-proving symbol-precedence machine-learning
Language:TeX