LogiCode: An LLM-Driven Framework for Logical Anomaly Detection
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…
- from
- AGI & CoCoSci
- added
- 2026-10-10
- likes
- 0
similar
-
LLMOps: Building Real-World Applications With Large Language Models comet.com
Learn to build modern software with LLMs using the newest tools and techniques in the field.
-
-
babble: Learning Better Abstractions with E-Graphs and Anti-unification dl.acm.org
POPL'23, 2023. [All Versions]. This paper proposes library learning modulo theory (LLMT), a new library learning algorithm that additionally takes as input an equational theory for a given problem domain. LLMT uses e-graphs and equality saturation to compactly represent the…
-
Mathematical discoveries from program search with large language models nature.com
Nature, 2024. [All Versions]. Large language models (LLMs) have demonstrated tremendous capabilities in solving complex tasks, from quantitative reasoning to understanding natural language. However, LLMs sometimes suffer from confabulations (or hallucinations), which can result…
-
-
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks arxiv.org
AAAI Spring Symposium Series 2023 on Computational Scientific Discovery, 2023. [All Versions]. [Extended Abstract]. [Slides]. This work introduces a novel machine learning framework ILP-iML1515 based on Inductive Logic Programming (ILP) that performs abductive logical reasoning…
AGI & CoCoSci › Papers > Domain Specific Language > DSL Program Synthesis: “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…”