Large language model and dataset for natural language to first-order logic translation
☆73Oct 25, 2023Updated 2 years ago
Alternatives and similar repositories for LogicLLaMA
Users that are interested in LogicLLaMA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Character-based seq2seq models (english => predicate logic)☆16Dec 26, 2020Updated 5 years ago
- ☆18Feb 25, 2022Updated 4 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Jan 2, 2024Updated 2 years ago
- ☆140Dec 22, 2023Updated 2 years ago
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆52Feb 13, 2024Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- The GitHub repository for the paper "Self-prompted Chain-of-Thought on Large Language Models for Open-domain Multi-hop Reasoning" accepte…☆46Mar 8, 2024Updated 2 years ago
- ☆14Sep 17, 2020Updated 5 years ago
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆392Jun 13, 2024Updated last year
- Official implementation of NeurIPS 2023 paper, "NuTrea: Neural Tree Search for Context-guided Multi-hop KGQA".☆21Dec 6, 2023Updated 2 years ago
- Repository for SPECTRA: Sparse Structured Text Rationalization, accepted at EMNLP 2021 main conference.☆10Feb 14, 2024Updated 2 years ago
- [EMNLP 2023] Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts☆27Nov 4, 2023Updated 2 years ago
- Comprehensive evaluation framework for Open Information Extraction.☆40Jun 21, 2022Updated 3 years ago
- ☆17Jul 12, 2025Updated 8 months ago
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization☆34Mar 9, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆93Oct 7, 2025Updated 5 months ago
- ☆44Oct 1, 2024Updated last year
- [NAACL(2019)] Generating Knowledge Graph Paths from Textual Definitions using Sequence-to-Sequence Models☆11Apr 27, 2022Updated 3 years ago
- ☆15May 17, 2022Updated 3 years ago
- [WNGT(2019)] On the Importance of the Kullback-Leibler Divergence Term in Variational Autoencoders for Text Generation☆11Apr 27, 2022Updated 3 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆38May 15, 2024Updated last year
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Jun 14, 2017Updated 8 years ago
- Logiqa2.0 dataset - logical reasoning in MRC and NLI tasks☆102Aug 11, 2023Updated 2 years ago
- Repository to create CCKGs from the paper "Similarity-weighted Construction of Contextualized Commonsense Knowledge Graphs for Knowledge-…☆11May 23, 2025Updated 10 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Scripts for large-scale prediction of lexical semantic change.☆12Feb 9, 2023Updated 3 years ago
- A capacity expansion model of the electricity system for arbitrary world regions, written in Julia 1.x.☆11Mar 15, 2021Updated 5 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Sentiment analysis of song lyrics compared to auditory track features and valence☆13Feb 19, 2023Updated 3 years ago
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆17Jan 4, 2023Updated 3 years ago
- ☆29Oct 3, 2023Updated 2 years ago
- Zero Memory Widget☆10Dec 30, 2020Updated 5 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Implementation of the paper "Improving the Accuracy-Robustness Trade-off of Classifiers via Adaptive Smoothing".☆10Feb 6, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 10 months ago
- python programs and procedures that facilitate local application of the earth2observe global water resources reanalysis☆10Nov 21, 2017Updated 8 years ago
- ☆17Oct 6, 2024Updated last year
- ☆12Jun 3, 2021Updated 4 years ago
- ☆12Jul 6, 2023Updated 2 years ago
- A tool library for riichi mahjong written in Rust, made mostly to be used as a WASM component.☆13Aug 29, 2025Updated 7 months ago
- ☆10Nov 6, 2024Updated last year