zsoltzombori / plcopLinks
Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
☆12Updated 4 years ago
Alternatives and similar repositories for plcop
Users that are interested in plcop are comparing it to the libraries listed below
Sorting:
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Updated 2 years ago
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated last year
- Neural Unification for Logic Reasoning over Language☆22Updated 3 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated last year
- ☆10Updated 4 years ago
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆26Updated last month
- ☆43Updated 2 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆25Updated 4 years ago
- Symbolic Brittleness in Sequence Models: on Systematic Generalization in Symbolic Mathematics (AAAI 2022)☆14Updated 3 years ago
- deep learning for math☆29Updated 6 years ago
- Implementation of generative semantic grammar.☆18Updated 3 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆20Updated last year
- GOPHI: an AMR-to-English Verbalizer☆11Updated 5 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- Code for the 2-simplicial Transformer paper☆18Updated 5 years ago
- Official code for paper LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning☆29Updated 3 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 5 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Neuro-Symbolic Integration Brings Causal and Reliable Reasoning Proofs☆36Updated last year
- ☆12Updated last year
- Demo for Neuro-Symbolic Agent (LOA)☆15Updated 2 years ago
- Code for FormulaNet in NIPS 2017☆30Updated 7 years ago
- Llemma formal2formal (tactic prediction) theorem proving experiments☆20Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago