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
Sorting:
- ☆18Feb 25, 2022Updated 4 years ago
- Character-based seq2seq models (english => predicate logic)☆16Dec 26, 2020Updated 5 years ago
- ☆140Dec 22, 2023Updated 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…☆40Mar 8, 2024Updated 2 years ago
- 🔗 LINC: Logical Inference via Neurosymbolic Computation [EMNLP2023]☆80Jan 2, 2024Updated 2 years ago
- Abstraction and Reasoning Corpus☆14Nov 22, 2022Updated 3 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
- The project page for "LOGIC-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical Reasoning"☆385Jun 13, 2024Updated last year
- ☆25Jan 27, 2026Updated last month
- [EMNLP 2023] Plan, Verify and Switch: Integrated Reasoning with Diverse X-of-Thoughts☆27Nov 4, 2023Updated 2 years ago
- Passive/Active sentence Transformer☆28Sep 25, 2018Updated 7 years ago
- A comprehensive paper list of Reasoning over Tables.☆30Nov 6, 2022Updated 3 years ago
- Mining Legal Arguments in Court Decisions - Data and software☆74May 15, 2023Updated 2 years ago
- Supplemental code and data for the paper: Turning the spotlight on California’s (dirty) nighttime emissions☆10May 3, 2019Updated 6 years ago
- The official repo for "TheoremQA: A Theorem-driven Question Answering dataset" (EMNLP 2023)☆38May 15, 2024Updated last year
- An inductive logic programming system☆270Feb 27, 2026Updated last week
- Back end for producing indicators and loading them into the COVIDcast API.☆12Feb 28, 2026Updated last week
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 2 years ago
- An open-source platform to demonstrate the capabilities of a Granular Certificate registry that conforms to the EnergyTag Standards and A…☆12Updated this week
- python programs and procedures that facilitate local application of the earth2observe global water resources reanalysis☆10Nov 21, 2017Updated 8 years ago
- Library for integrating Queue-it into an iOS app using web ui☆11Dec 19, 2025Updated 2 months ago
- The notebooks in this repository are recipes for energy and climate modelers. They require open source software and they can run locally …☆19Feb 17, 2026Updated 2 weeks ago
- Mirror-based reflection for Objective-C☆10Jan 18, 2016Updated 10 years ago
- Python package for Geometric / Clifford Algebra with Pytorch.☆14Jan 25, 2026Updated last month
- ☆30May 18, 2014Updated 11 years ago
- Python versions of all typeset code blocks from the book, Algorithms for Optimization.☆16Mar 20, 2024Updated last year
- iOS Color Picker☆11Jun 15, 2019Updated 6 years ago
- Code for the paper on 247-CFE procurement☆10Dec 13, 2024Updated last year
- The repository for the LUCAS/Lucify project☆11Apr 4, 2020Updated 5 years ago
- ☆46Nov 19, 2022Updated 3 years ago
- Towards Better Graph Representation Learning with Parameterized Decomposition & Filtering☆13Aug 22, 2023Updated 2 years ago
- Store a JSON mapping of a directory.☆12Mar 4, 2023Updated 3 years ago
- ☆10Nov 6, 2024Updated last year
- Slightly better example that shows how to use AuthorizationExecuteWithPrivileges.☆18Aug 17, 2016Updated 9 years ago
- A convenient way to create NSAttributedStrings☆11Mar 17, 2016Updated 9 years ago
- ☆12Jun 3, 2022Updated 3 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- OAuth2 Implementations with Facebook, Google, LinkedIn, Slack, SalesForce and GitHub providers.☆10Mar 28, 2019Updated 6 years ago
- A simple Swift state machine!☆10Apr 19, 2016Updated 9 years ago