Jul 28, 2026
ERUnderstand: Evaluating Vision-Language Models on Structured ER Diagrams
ERUnderstand: Evaluating Vision-Language Models on Structured ER Diagrams Entity-Relationship Diagrams (ERDs) are the standard way to design databases, yet t...
Jul 27, 2026
Agentic Root Cause Analysis through Evidence-Grounded Reasoning
Agentic Root Cause Analysis through Evidence-Grounded Reasoning Industrial systems are complex, and when they behave abnormally, identifying the specific phy...
Jul 27, 2026
Learning Structural Convergence: A Neuro-Symbolic Benchmark for Temporal Reasoning
Learning Structural Convergence: A Neuro-Symbolic Benchmark for Temporal Reasoning introduces TRACTA, a new synthetic benchmark designed to test how AI syste...
Jul 24, 2026
ICAE-Bench: Evaluating Coding Agents as Interactive Project Builders
ICAE-Bench: Evaluating Coding Agents as Interactive Project Builders The rise of "vibe-coding"—where developers start with a high-level idea rather than a de...
Jul 24, 2026
MIRROR: Learning from the Other View for Multi-Modal Reasoning
MIRROR: Learning from the Other View for Multi-Modal Reasoning Vision-language models (VLMs) often struggle with reasoning, even when the information provide...
Jul 24, 2026
Logic Programming Semantics for Causal Processes
Logic Programming Semantics for Causal Processes explores how the rules used in computer logic programming can be used to model processes that unfold over ti...
Jul 24, 2026
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming
How Rules Represent Causal Knowledge: Causal Modeling with Probabilistic Logic Programming This paper addresses a fundamental challenge in artificial intelli...
Jul 24, 2026
Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning
Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning The Single Constant Multiplication (SCM) problem...
Jul 24, 2026
The Boundaries of Automation: A Theory of Persistent Human Participation
The Boundaries of Automation: A Theory of Persistent Human Participation The rapid advancement of AI has led to a common assumption: that humans are only inv...
Jul 24, 2026
SPORD: A Simulation-Propose-then-OR-Dispose Approach for Supply Chain Planning
SPORD: A Simulation-Propose-then-OR-Dispose Approach for Supply Chain Planning introduces a new methodology to solve the complex, fragmented, and often slow...