PAL: Program-aided Language Models
ICML'23, 2023. [All Versions]. Paper presenting an approach that uses the LLM to read natural language problems and generate programs as the intermediate reasoning steps, but offloads the solution step to a runtime such as a Python interpreter. With PAL, decomposing the natural…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
LogiCode: An LLM-Driven Framework for Logical Anomaly Detection ieeexplore.ieee.org
IEEE Transactions on Automation Science and Engineering, 2024. [All Versions]. This paper presents LogiCode, a novel framework that leverages Large Language Models (LLMs) for identifying logical anomalies in industrial settings, moving beyond the traditional focus on structural…
-
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning dl.acm.org
IJCAI'11, 2011. [All Versions]. [Preprint]. This work introduces Bayesian Abductive Logic Programs (BALP), a probabilistic logic that adapts Bayesian Logic Programs (BLPs) for abductive reasoning. Like BLPs, BALPs also combine first-order logic and Bayes nets. However, unlike…
-
ACLP: Abductive Constraint Logic Programming sciencedirect.com
The Journal of Logic Programming, 1999. [All Versions]. This paper presents the framework of Abductive Constraint Logic Programming (ACLP), which integrates Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP). In ACLP, the task of abduction is supported and…
-
CodeBERT: A Pre-Trained Model for Programming and Natural Languages aclanthology.org
EMNLP'20, 2020. [All Versions]. Completing code, generating programming documentation, and providing technical support, making programming knowledge more accessible to non-experts.
-
LLM llm.datasette.io
A CLI utility and Python library for interacting with Large Language Models, remote and local. #opensource
-
AGI & CoCoSci › Papers > Inductive Logic & Program Synthesis: “ICML'23, 2023. [All Versions]. Paper presenting an approach that uses the LLM to read natural language problems and generate programs as the intermediate reasoning steps, but offloads the solution step to a runtime such as a Python interpreter. With PAL, decomposing the natural…”