Large language model and dataset for natural language to first-order logic translation
☆80Oct 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:
- ☆18Feb 25, 2022Updated 4 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆85Jan 2, 2024Updated 2 years ago
- ☆148Dec 22, 2023Updated 2 years ago
- ☆49Apr 29, 2025Updated last year
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆413Jun 13, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆61Dec 6, 2024Updated last year
- About Data and Codes for EMNLP 2023 System Demo Paper "QACHECK: A Demonstration System for Question-Guided Multi-Hop Fact-Checking"☆20Dec 19, 2023Updated 2 years ago
- Official implementation of NeurIPS 2023 paper, "NuTrea: Neural Tree Search for Context-guided Multi-hop KGQA".☆23Dec 6, 2023Updated 2 years ago
- [EMNLP 2023] Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts☆28Nov 4, 2023Updated 2 years ago
- Dataset containing Semantic Relations and Metadata, for Training and Evaluating Distributional Semantic Models in English and Mandarin Ch…☆17Aug 7, 2017Updated 9 years ago
- Comprehensive evaluation framework for Open Information Extraction.☆39Jun 21, 2022Updated 4 years ago
- ☆49Oct 1, 2024Updated 2 years ago
- [ACS 25] Deliberate Planning in Language Models with Symbolic Representation☆15Jul 6, 2026Updated 3 months ago
- [NAACL(2019)] Generating Knowledge Graph Paths from Textual Definitions using Sequence-to-Sequence Models☆11Apr 27, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Interpretable Word Sense Representations via Definition Generation☆10Mar 6, 2025Updated last year
- A list of Numerical Multimodal reasoning papers and their implementation☆11May 13, 2024Updated 2 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆41May 15, 2024Updated 2 years ago
- Scripts for large-scale prediction of lexical semantic change.☆14Feb 9, 2023Updated 3 years ago
- Autonomous Theorem Prover for First Order Predicate Logic☆12Jun 29, 2020Updated 6 years ago
- Repository to create CCKGs from the paper "Similarity-weighted Construction of Contextualized Commonsense Knowledge Graphs for Knowledge-…☆11May 23, 2025Updated last year
- ☆13Jun 21, 2017Updated 9 years ago
- A python tool help to interact with chatgpt.☆10Dec 11, 2022Updated 3 years ago
- The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization☆39Mar 9, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆10Mar 19, 2024Updated 2 years ago
- Implementation of the paper "Improving the Accuracy-Robustness Trade-off of Classifiers via Adaptive Smoothing".☆10Feb 6, 2024Updated 2 years ago
- python programs and procedures that facilitate local application of the earth2observe global water resources reanalysis☆10Nov 21, 2017Updated 8 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 5 years ago
- A capacity expansion model of the electricity system for arbitrary world regions, written in Julia 1.x.☆12Jun 30, 2026Updated 3 months ago
- ☆12Jun 3, 2021Updated 5 years ago
- ☆12Jul 6, 2023Updated 3 years ago
- Evaluating Visual Fidelity of Image Descriptions☆11Aug 15, 2019Updated 7 years ago
- ☆14Dec 31, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- MS segmentation challenge☆13Aug 10, 2022Updated 4 years ago
- Towards Better Graph Representation Learning with Parameterized Decomposition & Filtering☆13Aug 22, 2023Updated 3 years ago
- Implementation of generative semantic grammar.☆17Jun 2, 2022Updated 4 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Nov 27, 2016Updated 9 years ago
- Code for paper "Out-of-domain detection for natural language understanding in dialog systems"☆10May 27, 2022Updated 4 years ago
- Web application explaining how LLMs work using D3.js + GSAP☆23Aug 19, 2026Updated last month
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆51Oct 25, 2024Updated last year