Holger Giese
2 papers ยท Latest:
Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
This paper introduces a neuro-symbolic framework using LLMs to synthesize and verify causal rules from human goals, improving safety-critical systems.
2604.28087
Software EngineeringFrom Program Slices to Causal Clarity: Evaluating Faithful, Actionable LLM-Generated Failure Explanations via Context Partitioning and LLM-as-a-Judge
This paper shows LLM failure explanation quality is causally affected by context composition, with specific artifacts improving clarity and actionability.
2604.18309
๐ฌ Weekly AI Paper Digest
Get the top 10 AI/ML arXiv papers from the week โ summarized, scored, and delivered to your inbox every Monday.