Large language model and dataset for natural language to first-order logic translation
☆78Oct 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:
- ☆19Feb 25, 2022Updated 4 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆83Jan 2, 2024Updated 2 years ago
- ☆144Dec 22, 2023Updated 2 years ago
- nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models☆60Feb 13, 2024Updated 2 years ago
- The GitHub repository for the paper "Self-prompted Chain-of-Thought on Large Language Models for Open-domain Multi-hop Reasoning" accepte…☆32Mar 8, 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 project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆400Jun 13, 2024Updated 2 years ago
- This is the official code for paper: [PiVe: Prompting with Iterative Verification Improving Graph-based Generative Capability of LLMs]☆37Aug 31, 2024Updated last year
- About Data and Codes for EMNLP 2023 System Demo Paper "QACHECK: A Demonstration System for Question-Guided Multi-Hop Fact-Checking"☆19Dec 19, 2023Updated 2 years ago
- ☆61Dec 6, 2024Updated last year
- Official implementation of NeurIPS 2023 paper, "NuTrea: Neural Tree Search for Context-guided Multi-hop KGQA".☆22Dec 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
- Dataset containing Semantic Relations and Metadata, for Training and Evaluating Distributional Semantic Models in English and Mandarin Ch…☆16Aug 7, 2017Updated 8 years ago
- ☆16Oct 18, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Comprehensive evaluation framework for Open Information Extraction.☆39Jun 21, 2022Updated 4 years ago
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization☆36Mar 9, 2025Updated last year
- Implementation of ECIR 2022 Paper: How Can Graph Neural Networks Help Document Retrieval: A Case Study on CORD19 with Concept Map Generat…☆14Sep 19, 2022Updated 3 years ago
- A comprehensive paper list of Reasoning over Tables.☆30Nov 6, 2022Updated 3 years ago
- ☆18Jan 3, 2025Updated last year
- This is the Vision System (Object Dection & Recognition) for EU H2020 project RoMaNs☆11Oct 16, 2020Updated 5 years ago
- ☆46Nov 5, 2022Updated 3 years ago
- [NAACL(2019)] Generating Knowledge Graph Paths from Textual Definitions using Sequence-to-Sequence Models☆11Apr 27, 2022Updated 4 years ago
- ☆15May 17, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.☆21Mar 21, 2025Updated last year
- [WNGT(2019)] On the Importance of the Kullback-Leibler Divergence Term in Variational Autoencoders for Text Generation☆11Apr 27, 2022Updated 4 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆40May 15, 2024Updated 2 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Jun 14, 2017Updated 9 years ago
- Logiqa2.0 dataset - logical reasoning in MRC and NLI tasks☆101Aug 11, 2023Updated 2 years ago
- ROS wrapper for AirDet☆12Jul 24, 2022Updated 3 years ago
- Scripts for large-scale prediction of lexical semantic change.☆14Feb 9, 2023Updated 3 years ago
- A python tool help to interact with chatgpt.☆10Dec 11, 2022Updated 3 years ago
- ☆13Jun 21, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆12Oct 3, 2020Updated 5 years ago
- A capacity expansion model of the electricity system for arbitrary world regions, written in Julia 1.x.☆12Mar 15, 2021Updated 5 years ago
- Interpretable Word Sense Representations via Definition Generation☆10Mar 6, 2025Updated last year
- [TPAMI] "Symbolic Visual Reinforcement Learning: A Scalable Framework with Object-Level Abstraction and Differentiable Expression Search"…☆18Jan 4, 2023Updated 3 years ago
- ☆10Mar 19, 2024Updated 2 years ago
- Supplemental code and data for the paper: Turning the spotlight on California’s (dirty) nighttime emissions☆10May 3, 2019Updated 7 years ago
- Implementation of the paper "Improving the Accuracy-Robustness Trade-off of Classifiers via Adaptive Smoothing".☆10Feb 6, 2024Updated 2 years ago