Alternatives and similar repositories for text2log:

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

• LogiTorch / logitorch
  LogiTorch is a PyTorch-based library for logical reasoning on natural language
  ☆70Updated 6 months ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆73Updated 3 years ago
• ForoughA / CORGI
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆25Updated 4 years ago
• Yale-LILY / FOLIO
  ☆117Updated last year
• flipz357 / amr-metric-suite
  This project collects methods that enhance the comparison between AMR graphs.
  ☆16Updated last year
• ronentk / dbca-splitter
  Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713
  ☆11Updated 4 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
• tomerwolgithub / Break
  ☆45Updated 2 years ago
• allenai / ruletaker
  ☆46Updated 3 months ago
• jonathanherzig / span-based-sp
  Author implementation of the paper "Span-based Semantic Parsing for Compositional Generalization"
  ☆16Updated 3 years ago
• yakazimir / esslli_neural_symbolic
  Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.
  ☆16Updated last month
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 3 years ago
• INK-USC / FaiRR
  FaiRR: Faithful and Robust Deductive Reasoning over Natural Language (ACL 2022)
  ☆14Updated 2 years ago
• ufal / perin
  PERIN is Permutation-Invariant Semantic Parser developed for MRP 2020
  ☆45Updated 2 years ago
• najoungkim / COGS
  ☆59Updated 2 years ago
• swarnaHub / PRover
  [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules
  ☆19Updated last year
• nert-nlp / AMR-Bibliography
  Organized inventory of research using the Abstract Meaning Representation
  ☆37Updated last week
• coli-saar / am-parser
  Modular implementation of an AM dependency parser in AllenNLP.
  ☆31Updated 9 months ago
• ElementalCognition / glucose
  GLUCOSE: GeneraLized and COntextualized Story Explanations https://arxiv.org/abs/2009.07758
  ☆92Updated 4 years ago
• yanaiela / amnesic_probing
  ☆39Updated 3 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆84Updated 6 months ago
• Jacobsolawetz / large-scale-oie
  ☆37Updated 2 years ago
• allenai / numglue
  NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks
  ☆20Updated 2 years ago
• kyleiwaniec / neuro-symbolic-ai-systematic-review
  ☆18Updated 2 years ago
• allenai / Break
  ☆83Updated 2 years ago
• chanind / frame-semantic-transformer
  Frame Semantic Parser based on T5 and FrameNet
  ☆57Updated last year
• goodmami / penman
  PENMAN notation (e.g. AMR) in Python
  ☆142Updated 6 months ago
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆54Updated last year
• allenai / entailment_bank
  ☆43Updated 2 years ago
• neulab / retomaton
  PyTorch code for the RetoMaton paper: "Neuro-Symbolic Language Modeling with Automaton-augmented Retrieval" (ICML 2022)
  ☆71Updated 2 years ago