nathanael-fijalkow / ProgSynth
General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
☆12Updated last month
Related projects: ⓘ
- ☆35Updated last year
- Learning programs with the Exploration-Compression algorithm☆9Updated 6 years ago
- Python package for Sentential Decision Diagrams (SDD)☆53Updated 2 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆54Updated 2 years ago
- A scalable abstraction learning library☆70Updated 9 months ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆37Updated last year
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆36Updated 4 years ago
- Powerlifted Planner☆25Updated last month
- Python notebooks for a tutorial on neurosymbolic programming☆61Updated 5 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated 8 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆17Updated 3 months ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- Scalable training and inference for Probabilistic Circuits☆45Updated last week
- ☆19Updated 8 months ago
- ☆21Updated this week
- A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…☆152Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆61Updated last year
- This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers☆24Updated 9 months ago
- An inductive logic programming system☆195Updated last month
- ☆41Updated last year
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆184Updated last month
- ☆33Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆10Updated last year
- Experimentation framework for Popper☆18Updated 4 months ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆20Updated 2 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆14Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆32Updated last year
- Codebase for the paper: Not All Neuro-Symbolic Concepts Are Created Equal: Analysis and Mitigation of Reasoning Shortcuts☆16Updated 6 months ago
- Dataset and code for paper: ``ROAD-R: The Autonomous Driving Dataset with Logical Requirements''☆12Updated 7 months ago