Jul 28, 2026
Efficiency Matters in Autonomous Research
Efficiency Matters in Autonomous Research AI-driven autonomous research (AR) systems are increasingly used to solve complex problems in science and engineeri...
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 23, 2026
Train the Model, Not the Reader: Decodability Supervision for Verifiable Activation Explanations
Train the Model, Not the Reader: Decodability Supervision for Verifiable Activation Explanations This paper investigates a critical flaw in how we currently...
Jul 22, 2026
ResearchArena: Evaluating Sabotage and Monitoring in Automated AI R&D
As AI agents become increasingly capable of performing automated research and development, a critical challenge emerges: how can we ensure their outputs are...
Jul 22, 2026
CodeRescue: Budget-Calibrated Recovery Routing for Coding Agents
CodeRescue addresses the challenge of managing costs when coding agents encounter errors.
Jul 20, 2026
DSWorld: A Data Science World Model for Efficient Autonomous Agents
DSWorld: A Data Science World Model for Efficient Autonomous Agents Autonomous data science agents are powerful tools for tasks like predictive modeling and...
Jul 20, 2026
SciForge: An AI-Native, Multimodal Workbench for Scientific Discovery
What the paper is about Scientific work increasingly spans heterogeneous artifacts -- papers, code, datasets, scientific file formats, model outputs, figures...
Jul 20, 2026
Closing the AI Trust Gap: The Case for Independent Certification for Trustworthy AI
Closing the AI Trust Gap: The Case for Independent Certification for Trustworthy AI This paper addresses the "trust gap" in the artificial intelligence indus...
Jul 17, 2026
SMC-ES: Automated synthesis of formally verified control policies
SMC-ES: Automated synthesis of formally verified control policies This paper addresses a critical challenge in modern robotics and autonomous systems: how to...
Jul 17, 2026
The Industrialization of Research ; On AI-Driven Science and Its Consequences
The Industrialization of Research ; On AI-Driven Science and Its Consequences explores the fundamental shift in how scientific discovery is conducted as arti...