wdimmy / MeTeoR
☆21Updated 7 months ago
Alternatives and similar repositories for MeTeoR:
Users that are interested in MeTeoR are comparing it to the libraries listed below
- End-to-End Differentiable Proving☆88Updated 6 years ago
- ☆18Updated 3 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆48Updated 8 months ago
- Code for generating the JuICe dataset.☆36Updated 3 years ago
- ☆21Updated 3 years ago
- ☆43Updated last year
- Code for Neural Execution Engines: Learning to Execute Subroutines☆17Updated 4 years ago
- DeepLogic: Towards End-to-End Differentiable Logical Reasoning☆23Updated 4 years ago
- ☆33Updated 3 months ago
- G2SAT: Learning to Generate SAT Formulas☆50Updated 4 years ago
- Weakly Supervised Text-to-SQL Parsing through Question Decomposition☆22Updated last year
- 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
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Data and Code for StructuredRegex.☆13Updated last year
- PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)☆71Updated 2 years ago
- Neural-Grammar-Symbolic Learning with Back-Search☆53Updated 8 months ago
- This is the code for the EMNLP 2020 paper "An Unsupervised Joint System for Text Generation from Knowledge Graphs and Semantic Parsing".☆26Updated 3 years ago
- ☆22Updated 5 years ago
- NaturalProver: Grounded Mathematical Proof Generation with Language Models☆36Updated 2 years ago
- A neural-symbolic joint reasoning approach for Natural Language Inference (NLI). Modeling NLI as inference path planning through a search…☆14Updated 3 years ago
- Official code repository for the paper: AbsPyramid: Benchmarking the Abstration Ability of Language Models with a Unified Entailment Grap…☆12Updated 5 months ago
- Diagnostic benchmark suite to explicitly test logical relational reasoning on natural language☆92Updated 11 months ago
- Grammar Prompting for Domain-Specific Language Generation with Large Language Models☆65Updated last year
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Updated 5 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 5 years ago
- code for "Natural Language to Code Translation with Execution"☆40Updated 2 years ago
- Neural Logic Inductive Learning☆42Updated 2 years ago
- ☆19Updated 2 years ago
- ☆57Updated 5 years ago