The official implementation of "Self-play LLM Theorem Provers with Iterative Conjecturing and Proving"

This is the official repository for all the code of TheoremLlama

DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models

🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]

LLMs as Copilots for Theorem Proving in Lean

Learning Symbolic Rules for Reasoning in Quasi-Natural Language: https://arxiv.org/abs/2111.12038

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Tool for data extraction and interacting with Lean programmatically.

Holophrasm: a neural Automated Theorem Prover for higher-order logic