☆32Aug 9, 2025Updated last year
Alternatives and similar repositories for LLM-ASP
Users that are interested in LLM-ASP are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Qualitative Numeric Planning☆10Dec 10, 2020Updated 5 years ago
- An official code repository for the paper "Argumentative Large Language Models for Explainable and Contestable Claim Verification"☆17Aug 3, 2026Updated last week
- ☆32Mar 21, 2024Updated 2 years ago
- The source code of the paper "Leveraging Pre-trained Large Language Models to Construct and Utilize World Models for Model-based Task Pla…☆108Aug 11, 2024Updated last year
- ☆51Jul 30, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Repository for the paper: "Using deep learning to predict outcomes of legal appeals better than human experts"☆11Aug 1, 2022Updated 4 years ago
- Code for the paper "A Comprehensive Evaluation of Large Language Models on Legal Judgment Prediction"☆13Oct 20, 2023Updated 2 years ago
- 🌍 PDDL instances covering the International Planning Competitions☆154Mar 11, 2021Updated 5 years ago
- ☆16Dec 17, 2023Updated 2 years ago
- Enhancing Legal Case Retrieval via Scaling High-quality Synthetic Query-Candidate Pairs (EMNLP 2024)☆17Nov 17, 2024Updated last year
- For ACL25 paper "WAFFLE: Multi-Modal Model for Automated Front-End Development" - by Shanchao Liang and Nan Jiang and Shangshu Qian and L…☆12May 28, 2025Updated last year
- [ACL 2024] "Understanding and Patching Compositional Reasoning in LLMs"☆14Updated this week
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 10 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 11 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple implementation of a pairs trading strategy☆13Mar 17, 2015Updated 11 years ago
- Syntax Error-Free and Generalizable Tool Use for LLMs via Finite-State Decoding☆31Jan 28, 2024Updated 2 years ago
- Implementation for NeurIPS 2024 oral paper: Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation☆16Jan 27, 2025Updated last year
- Reasoning Agentic Retrieval-Augmented Generation for Industry Challenges☆30May 14, 2025Updated last year
- ☆13Mar 23, 2026Updated 4 months ago
- The new Reactome REST API to access the data☆11May 22, 2026Updated 2 months ago
- JUREX-4E: Juridical Expert-Annotated Four-Element Knowledge Base for Legal Reasoning☆15Oct 27, 2025Updated 9 months ago
- Code for "Positional Diffusion: Ordering Unordered Sets with Diffusion Probabilistic Models"☆19Mar 21, 2023Updated 3 years ago
- this is for fun, ain't it grand!☆22Sep 18, 2025Updated 10 months 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.
- ☆10Jan 20, 2024Updated 2 years ago
- Towards a Mechanistic Interpretation of Multi-Step Reasoning Capabilities of Language Models☆15Nov 4, 2023Updated 2 years ago
- ☆46Mar 4, 2025Updated last year
- ☆17Feb 26, 2024Updated 2 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 3 years ago
- The source code of article "Distinguish Confusion in Legal Judgment Prediction via Revised Relation Knowledge of Law Articles", ACM Trans…☆19Jul 1, 2026Updated last month
- 모두의 말뭉치 데이터를 분석에 편리한 형태로 변환하는 기능을 제공합니다.☆11Mar 2, 2022Updated 4 years ago
- Official Repo for SwS: A Weakness-driven Problem Synthesis Framework in RL for LLM Reasoning☆42Nov 11, 2025Updated 9 months ago
- Code and Data for "FaithfulRAG: Fact-Level Conflict Modeling for Context-Faithful Retrieval-Augmented Generation" (ACL25)☆39Oct 26, 2025Updated 9 months 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.
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- Pytorch-based tools for constructing a vocabulary of visual concepts in a GAN.☆17Feb 25, 2022Updated 4 years ago
- [COLM'25] Missing Premise exacerbates Overthinking: Are Reasoning Models losing Critical Thinking Skill?☆40Jun 5, 2025Updated last year
- Implementation of Monte Carlo Word Movers Distance in Python with TensorFlow☆12Sep 12, 2016Updated 9 years ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- ☆24Jun 19, 2024Updated 2 years ago
- Korean Abstract Meaning Representation (AMR) Corpus☆10Feb 27, 2022Updated 4 years ago