ml4ai / automates
AutoMATES: Automated Model Assembly from Text, Equations, and Software
☆24Updated last year
Related projects ⓘ
Alternatives and complementary repositories for automates
- Bayesian Assessment of Hypotheses☆24Updated last year
- ☆15Updated 5 years ago
- Implementation of generative semantic grammar.☆17Updated 2 years ago
- Python library for declarative, constrained, structured-output prediction.☆21Updated last year
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆30Updated 2 years ago
- A machine learning software for extracting information from scholarly documents☆23Updated 3 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting☆26Updated 10 months ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- Python package for Sentential Decision Diagrams (SDD)☆54Updated 3 weeks ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 4 years ago
- ☆42Updated 7 years ago
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- deep learning for math☆29Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- Discovering Mathematical Objects of Interest - A Study of Mathematical Notations☆10Updated 4 years ago
- Factor Graph Grammars in Python☆13Updated this week
- Neural Logic Reasoning for Question Answering☆72Updated 3 years ago
- Finds linguistic patterns effortlessly☆33Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆11Updated 3 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 2 years ago
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆19Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Given a pair of sentences (premise, hypothesis), the decomposed graph entailment model (DGEM) predicts whether the premise can be used to…☆52Updated 3 years ago
- An Evaluation Framework for Temporal Information Extraction Systems☆16Updated 3 weeks ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆16Updated this week
- ☆30Updated 2 years ago
- Interesting ATP Proofs☆13Updated 3 years ago
- ☆43Updated last year
- First-Order Probabilistic Programming Language☆27Updated 5 years ago