Alternatives and similar repositories for text2log

Users that are interested in text2log are comparing it to the libraries listed below

• Yale-LILY / FOLIO
  ☆131Updated last year
• LogiTorch / logitorch
  LogiTorch is a PyTorch-based library for logical reasoning on natural language
  ☆73Updated last year
• ronentk / dbca-splitter
  Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713
  ☆11Updated 4 years ago
• ServiceNow / duorat
  DuoRAT is a ServiceNow Research project that was started at Element AI.
  ☆56Updated 2 years ago
• ForoughA / CORGI
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆26Updated 5 years ago
• MSR-LIT / Splash
  Release of SPLASH: Dataset for semantic parse correction with natural language feedback in the context of text-to-SQL parsing
  ☆42Updated 5 years ago
• allenai / entailment_bank
  ☆45Updated 2 years ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆74Updated 4 years ago
• czyssrs / Logic2Text
  Data and code for EMNLP 2020 paper "Logic2Text: High-Fidelity Natural Language Generation from Logical Forms"
  ☆71Updated 2 years ago
• allenai / ruletaker
  ☆50Updated 10 months ago
• tomerwolgithub / Break
  ☆46Updated 2 years ago
• Heidelberg-NLP / CoCo-Ex
  CoCo-Ex extracts meaningful concepts from natural language texts and maps them to conjunct concept nodes in ConceptNet, utilizing the max…
  ☆59Updated 2 years ago
• IBM / transition-amr-parser
  SoTA Abstract Meaning Representation (AMR) parsing with word-node alignments in Pytorch. Includes checkpoints and other tools such as sta…
  ☆261Updated 3 weeks ago
• tzshi / squall
  Data and Code Release for "On the Potential of Lexico-logical Alignments for Semantic Parsing to SQL Queries"
  ☆54Updated 4 years ago
• flipz357 / amr-metric-suite
  This project collects methods that enhance the comparison between AMR graphs.
  ☆16Updated 2 years ago
• allenai / Break
  ☆85Updated 3 years ago
• ElementalCognition / glucose
  GLUCOSE: GeneraLized and COntextualized Story Explanations https://arxiv.org/abs/2009.07758
  ☆95Updated 4 years ago
• allenai / scruples
  A corpus and code for understanding norms and subjectivity. 🤖
  ☆52Updated last year
• rajasagashe / JuICe
  Code for generating the JuICe dataset.
  ☆37Updated 3 years ago
• teacherpeterpan / Unsupervised-Multi-hop-QA
  Codes for NAACL 2021 Paper "Unsupervised Multi-hop Question Answering by Question Generation"
  ☆92Updated 2 years ago
• bjascob / amrlib
  A python library that makes AMR parsing, generation and visualization simple.
  ☆248Updated last year
• jonathanherzig / span-based-sp
  Author implementation of the paper "Span-based Semantic Parsing for Compositional Generalization"
  ☆16Updated 4 years ago
• mega002 / qdmr-based-question-generation
  The official code of TACL 2022, "Break, Perturb, Build: Automatic Perturbation of Reasoning Paths Through Question Decomposition".
  ☆11Updated 3 years ago
• teacherpeterpan / Zero-shot-Fact-Verification
  Codes for ACL-IJCNLP 2021 Paper "Zero-shot Fact Verification by Claim Generation"
  ☆65Updated 3 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆86Updated last year
• neulab / external-knowledge-codegen
  Code and data for ACL20 paper "Incorporating External Knowledge through Pre-training for Natural Language to Code Generation"
  ☆97Updated 2 weeks ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆73Updated 3 years ago
• allenai / allennlp-semparse
  A framework for building semantic parsers (including neural module networks) with AllenNLP, built by the authors of AllenNLP
  ☆107Updated 3 years ago
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆65Updated last year
• krishnamrith12 / ProoFVer
  Proof system for Fact Verification
  ☆15Updated 3 years ago