lab-v2 / pyreason-rl-sim
☆14Updated last year
Alternatives and similar repositories for pyreason-rl-sim:
Users that are interested in pyreason-rl-sim are comparing it to the libraries listed below
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆31Updated last year
- An environment for learning formal mathematical reasoning from scratch☆66Updated 8 months ago
- Clover: Closed-Loop Verifiable Code Generation☆35Updated 10 months ago
- Neurosymbolic Library☆24Updated 2 weeks ago
- ARC gym: a data generation framework for the Abstraction & Reasoning Corpus☆21Updated 3 weeks ago
- ☆12Updated 2 years ago
- General-purpose program synthesiser☆45Updated 6 months ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆22Updated 11 months ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- a collection of Gymnasium environments for saturation provers☆20Updated 3 weeks ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 11 months ago
- ☆43Updated 2 years ago
- Formalizing stochastic doubly-efficient debate☆102Updated 6 months ago
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆38Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- Benchmark for undergraduate-level formal mathematics☆105Updated 6 months ago
- Neural theorem proving toolkit: data extraction tools for Lean 4☆25Updated last month
- An updated version of miniF2F with lots of fixes and informal statements / solutions.☆83Updated 3 months ago
- Adaptive Subgoal Search☆19Updated 2 years ago
- Proof artifact co-training for Lean☆44Updated 2 years ago
- https://albertqjiang.github.io/Portal-to-ISAbelle/☆54Updated last year
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆37Updated 2 years ago
- Demo for Neuro-Symbolic Agent (LOA)☆14Updated 2 years ago
- Neuro-Symbolic Reinforcement Learning: Logical Optimal Action (LOA), a novel RL with Logical Neural Network (LNN) on text-based games☆44Updated last year
- ☆17Updated 2 years ago
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆91Updated last year
- Experimentation framework for Popper☆22Updated 11 months ago
- ProofNet dataset ported into Lean 4☆20Updated 3 weeks ago
- Natural Language (NL) to Linear Temporal Logic (LTL)☆73Updated 7 months ago
- ☆24Updated last month