Neuro-symbolic rule discovery: empowering LLMs with causality for vehicle diagnostics

  • Defining Boolean logic for vehicle fault detection of error patterns (EPs) is a manual, error-prone bottleneck process in automotive safety. Standard LLMs struggle to automate this task, as they prioritize semantic plausibility over logical necessity. We propose CAREP, a framework that empowers LLMs with causal discovery to extract strict diagnostic rules from noisy high-dimensional event sequences. Instead of relying on semantic correlations, CAREP provides the LLM with a grounded set of causal drivers (excitatory) and constraints (inhibitory). This enables the automated synthesis of accurate, human-readable rules alongside reasoning traces. On a real-world dataset of 29,100 unique codes, CAREP achieves superior rule reconstruction accuracy compared to standard RAG baselines.

Download full text files

Export metadata

Statistics

Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Hugo MathORCiDGND, Julian LorenzGND, Rainer LienhartORCiDGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/131256
URL:https://openreview.net/forum?id=M5ZszfsJxm
Parent Title (English):ICLR 2026 Workshop on Logical Reasoning of Large Language Models, 26 April 2026, Rio de Janeiro, Brazil
Publisher:OpenReview.net
Place of publication:Amherst, MA
Type:Conference Proceeding
Language:English
Date of Publication (online):2026/06/19
Year of first Publication:2026
Publishing Institution:Universität Augsburg
Release Date:2026/06/22
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Maschinelles Lernen und Maschinelles Sehen
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Latest Publications (not yet published in print):Aktuelle Publikationen (noch nicht gedruckt erschienen)
Licence (German):CC-BY 4.0: Creative Commons: Namensnennung