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
  ☆73Updated 3 months ago
• Yale-LILY / FOLIO
  ☆140Updated 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 3 years ago
• leonweber / nlprolog
  Neural Logic Reasoning for Question Answering
  ☆75Updated 4 years ago
• flipz357 / amr-metric-suite
  This project collects methods that enhance the comparison between AMR graphs.
  ☆18Updated 2 years ago
• ForoughA / CORGI
  Conversational Neuro-Symbolic Commonsense Reasoning
  ☆26Updated 5 years ago
• allenai / ruletaker
  ☆53Updated last year
• ElementalCognition / glucose
  GLUCOSE: GeneraLized and COntextualized Story Explanations https://arxiv.org/abs/2009.07758
  ☆95Updated 4 years ago
• ServiceNow / duorat
  DuoRAT is a ServiceNow Research project that was started at Element AI.
  ☆56Updated 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…
  ☆271Updated 4 months ago
• usc-isi-i2 / cskg
  CSKG: The CommonSense Knowledge Graph
  ☆124Updated 2 years ago
• ronentk / dbca-splitter
  Independent implementation of DBCA method from http://arxiv.org/abs/1912.09713
  ☆11Updated 5 years ago
• yakazimir / esslli_neural_symbolic
  Course resources and notes for the ESSLLI 2023 course on neural symbolic methods.
  ☆18Updated 11 months ago
• allenai / entailment_bank
  ☆46Updated 3 years ago
• microsoft / semantic_parsing_with_constrained_lm
  Code to reproduce experiments in the paper "Constrained Language Models Yield Few-Shot Semantic Parsers" (EMNLP 2021).
  ☆67Updated last year
• inbaroren / improving-compgen-in-semparse
  ☆17Updated 5 years ago
• princeton-nlp / NLProofS
  EMNLP 2022: Generating Natural Language Proofs with Verifier-Guided Search https://arxiv.org/abs/2205.12443
  ☆86Updated last year
• gblackout / LogicLLaMA
  Large language model and dataset for natural language to first-order logic translation
  ☆74Updated 2 years ago
• tomerwolgithub / Break
  ☆46Updated 3 years ago
• chanind / frame-semantic-transformer
  Frame Semantic Parser based on T5 and FrameNet
  ☆63Updated 2 years ago
• bjascob / amrlib
  A python library that makes AMR parsing, generation and visualization simple.
  ☆261Updated 2 years ago
• IBM / Neural_Unification_for_Logic_Reasoning_over_Language
  Neural Unification for Logic Reasoning over Language
  ☆22Updated 4 years ago
• berlino / grammar-prompting
  Grammar Prompting for Domain-Specific Language Generation with Large Language Models
  ☆75Updated 2 years ago
• snowblink14 / smatch
  Smatch tool: evaluation of AMR semantic structures
  ☆70Updated 3 years ago
• DevSinghSachan / syntax-augmented-bert
  Source code of the paper "Do Syntax Trees Help Pre-trained Transformers Extract Information?" (EACL 2021)
  ☆75Updated 4 years ago
• allenai / Break
  ☆85Updated 3 years ago
• krishnamrith12 / ProoFVer
  Proof system for Fact Verification
  ☆15Updated 3 years ago
• peterwestai2 / symbolic-knowledge-distillation
  ☆141Updated 3 years ago
• czyssrs / Logic2Text
  Data and code for EMNLP 2020 paper "Logic2Text: High-Fidelity Natural Language Generation from Logical Forms"
  ☆71Updated 2 years ago
• asahi417 / analogy-language-model
  The official implementation of "BERT is to NLP what AlexNet is to CV: Can Pre-Trained Language Models Identify Analogies?, ACL 2021 main …
  ☆23Updated 2 years ago