Wenda302 / IsarStep
Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
☆10Updated 3 years ago
Related projects: ⓘ
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆14Updated 3 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆36Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆30Updated 3 years ago
- ☆14Updated last year
- ☆41Updated last year
- Adaptive Subgoal Search☆19Updated last year
- ☆23Updated 3 years ago
- Factor Graph Grammars in Python☆13Updated this week
- ☆15Updated 5 years ago
- Graphically structured diffusion model.☆17Updated last year
- ☆16Updated last year
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 4 years ago
- ☆32Updated 6 months ago
- The Lean Theorem Proving Environment☆13Updated last year
- The Energy Transformer block, in JAX☆48Updated 9 months ago
- Code for the 2-simplicial Transformer paper☆18Updated 4 years ago
- ☆33Updated 3 years ago
- ☆27Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- Meta-learning inductive biases in the form of useful conserved quantities.☆37Updated last year
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆16Updated 3 years ago
- ☆21Updated 9 months ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆24Updated last year
- PyTorch implementation for "Probabilistic Circuits for Variational Inference in Discrete Graphical Models", NeurIPS 2020☆15Updated 2 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆34Updated last year
- ZeroC is a neuro-symbolic method that trained with elementary visual concepts and relations, can zero-shot recognize and acquire more com…☆29Updated last year
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- ☆18Updated 2 years ago
- ☆10Updated last year
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago