Repair

Follow this topic Ask about this topic

Momentum

24 papers in the last four weeks, up 50% on the four weeks before. 0.3% of all new papers.

Jul 6Week of Sep 21

Latest papers 150

All topics

Neurosymbolic Auditing of Natural-Language Software Requirements
May 13, 2026Bethel Hall, William EiersFormal Verification Neuro-Symbolic Framework
Stevens Institute of Technology
On-Policy Self-Evolution via Failure Trajectories for Agentic Safety Alignment
May 12, 2026Bo Yin, Qi Li, Xinchao WangOn-Policy Self-Evolution Self-Evolving Agents
National University of Singapore
An Execution-Verified Multi-Language Benchmark for Code Semantic Reasoning
May 10, 2026Yikun Li, Jinfeng Jiang, Ting Zhang +7Multilingual Benchmark Repair
Singapore Management University · Monash University · Nanjing University of Science and Technology +1
BoostAPR: Boosting Automated Program Repair via Execution-Grounded Reinforcement Learning with Dual Reward Models
May 9, 2026Yuanhao Li, Hongbo Wang, Xiaotang Shang +3Automated Program Repair Repair
State Key Laboratory of Networking and Switching Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China · University of Luxembourg
MeshFIM: Local Low-Poly Mesh Editing via Fill-in-the-Middle Autoregressive Generation
May 9, 2026Dingdong Yang, Jian Liu, Biwen Lei +6Mesh Generation Meshes
1Tencent Hunyuan · 2Simon Fraser University · 3Hong Kong University of Science and Technology
MEMOREPAIR: Barrier-First Cascade Repair in Agentic Memory
May 8, 2026Yang Zhao, Chengxiao Dai, Mengying Kou +1Agentic Memory Nativemem
Cumulative-Goodness Free-Riding in Forward-Forward Networks: Real, Repairable, but Not Accuracy-Dominant
May 7, 2026Amirhossein YousefiramandiForward Propagation Imagenet
Inconsistent Databases and Argumentation Frameworks with Collective Attacks
May 5, 2026Yasir Mahmood, Jonni Virtema, Timon Barlag +1Argumentation Frameworks Diverse Attacks
Data Science Group, Heinz Nixdorf Institute, Paderborn University, Germany · School of Computing Science, University of Glasgow, United Kingdom · School of Computer Science, University of Sheffield, United Kingdom +1
The Counterexample Game: Iterated Conceptual Analysis and Repair in Language Models
May 5, 2026Daniel Drucker, Kyle MahowaldLLM Reasoning Strategies Counterexample
Department of Philosophy The University of Texas at Austin · Department of Linguistics The University of Texas at Austin
ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning
May 4, 2026Safayat Bin Hakim, Keyan Guo, Wenkai Tan +3Neuro-Symbolic Framework Repair
University of Maryland, Baltimore County · University at Buffalo · University of Colorado Boulder +1
Talk is Cheap, Communication is Hard: Dynamic Grounding Failures and Repair in Multi-Agent Negotiation
May 3, 2026Yiheng Yao, Chelsea Zou, Robert D. HawkinsNegotiation Multi-Agent Coordination
Stanford University
Practical Limits of Autonomous Test Repair: A Multi-Agent Case Study with LLM-Driven Discovery and Self-Correction
May 2, 2026Hyukjoo LeeTest Generation Automated Program Repair
Independent Researcher Republic of Korea
GeoContra: From Fluent GIS Code to Verifiable Spatial Analysis with Geography-Grounded Repair
May 1, 2026Yinhao Xiao, Rongbo Xiao, Yihan ZhangGeospatial Geogs-Slam
School of Big Data and Artificial Intelligence, Guangdong University of Finance and Economics · School of Geography and Environment Economics, Guangdong University of Finance & Economics · Guangdong Engineering Research Center of Low-Altitude Remote Sensing Intelligent Monitoring +1
Faithful Autoformalization via Roundtrip Verification and Repair
Apr 27, 2026Daneshvar Amrollahi, Jerry Lopez, Clark BarrettAutoformalization Large Language Model Reliability
Stanford University, USA
Understanding Scattered Forest Search: A Version-Space Perspective on Multi-Turn Program Correction
Apr 27, 2026Yuto Tanaka, Issei SatoEfficient Inference Iterative Refinement
Department of Computer Science The University of Tokyo Tokyo, Japan
When Corrective Hints Hurt: Prompt Design in Reasoner-Guided Repair of LLM Overcaution on Entailed Negations under OWL2DL
Apr 25, 2026Yijiashun Qi, Xiang Xu, Yuxuan LiLarge Language Models Fail Repair
University of Michigan · ByteDance Inc. · University of Pennsylvania
Using ASP(Q) to Handle Inconsistent Prioritized Data
Apr 23, 2026Meghyn Bienvenu, Camille Bourgaux, Robin Jean +1Answer Set Programming Repair
Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, Talence, France · DI ENS, ENS, CNRS, PSL University & Inria, Paris, France · University of Calabria, Rende, Italy
A Metamorphic Testing Approach to Diagnosing Memorization in LLM-Based Program Repair
Apr 23, 2026Milan De Koning, Ali Asgari, Pouria Derakhshanfar +1Automated Program Repair Repair
JetBrains Research, Amsterdam, The Netherlands · Delft University of Technology, Delft, The Netherlands
Supervised Learning Has a Necessary Geometric Blind Spot: Theory, Consequences, and Minimal Repair
Apr 23, 2026Vishal RajputSparse Supervision Semi-Supervised Learning
1KU Leuven, Belgium.
Talking to a Know-It-All GPT or a Second-Guesser Claude? How Repair reveals unreliable Multi-Turn Behavior in LLMs
Apr 21, 2026Clara Lachenmaier, Hannah Bultmann, Sina ZarrießRepair
Computational Linguistics, Department of Linguistics Bielefeld University, Germany
ARES: Adaptive Red-Teaming and End-to-End Repair of Policy-Reward System
Apr 20, 2026Jiacheng Liang, Yao Ma, Tharindu Kumarage +5Large Language Model Safety Reinforcement Learning From Human Feedback
Stony Brook University · Amazon Nova Responsible AI
Physics-Informed Causal MDPs for Sequential Constraint Repair in Engineering Simulation Pipelines
Apr 20, 2026Chuhan QiaoMarkov Decision Processes Structural Constraints
Beijing JiaoTong University
Back to Repair: A Minimal Denoising Network for Time Series Anomaly Detection
Apr 19, 2026Kadir-Kaan Özer, René Ebeling, Markus EnzweilerTime-Series Anomaly Detection Time Series
Mercedes-Benz AG, Germany · Institute for Intelligent Systems, Esslingen University of Applied Sciences, Germany
Clover: A Neural-Symbolic Agentic Harness with Stochastic Tree-of-Thoughts for Verified RTL Repair
Apr 19, 2026Zizhang Luo, Yansong Xu, Runlin Guo +6Automated Program Repair Repair
Peking University
SynthFix: Adaptive Neuro-Symbolic Code Vulnerability Repair
Apr 19, 2026Yifan Zhang, Jieyu Li, Kexin Pei +2Automated Program Repair Repair
Vanderbilt University1 · University of Chicago2
HWE-Bench: Benchmarking LLM Agents on Real-World Hardware Bug Repair Tasks
Apr 16, 2026Fan Cui, Hongyuan Hou, Zizhang Luo +2Large Language Model Agents Large Language Model Benchmarks
Peking University · Beijing, China
Polaris: A Gödel Agent Framework for Small Language Models through Experience-Abstracted Policy Repair
Mar 24, 2026Aditya Kakade, Vivek Srivastava, Shirish KarandeLarge Language Model Policy Optimization Self-Improving Agents
TCS Research, India
Metamodel-Guided Model Generation with Layered Constraints
Oct 29, 2025Tong Ma, Hui Lai, Hui Wang +4Large Language Model Generation Constraint Satisfaction
University of Science and Technology of China, China · Hefei Institutes of Physical Science, Chinese Academy of Sciences, China · Anhui University, China
Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
Mar 12, 2020Meghyn Bienvenu, Camille BourgauxArgumentation Frameworks Entailment
CNRS & University of Bordeaux, France · DI ENS, ENS, CNRS, PSL University & Inria, Paris, France
Causal Episodic Memory for Feedback-Driven Agent Repair
Date pendingKhang Nhat Hoang Vo, Tam Minh Chu, Anh Trac Duc Dinh +2Repair Episodic Memory
Mohamed bin Zayed University of Artificial Intelligence, Abu Dhabi, United Arab Emirates · Faculty of Computer Science and Engineering, Ho Chi Minh City University of Technology (HCMUT), VNU-HCM, Ho Chi Minh City, Vietnam

May 13, 2026, cs.SEJ/K move · Enter open · S save

Neurosymbolic Auditing of Natural-Language Software Requirements

Bethel Hall, William Eiers

Stevens Institute of Technology

Formal Verification Neuro-Symbolic Framework Software Satisfiability Safety-Critical Scenarios Ambiguity+1

Open paper AskPDF arXiv

Natural-language software requirements are often ambiguous, inconsistent, and underspecified; in safety-critical domains, these defects propagate into formal models that verify the wrong specification and into implementations that ship unsafe behavior. We show that large language models, equipped with an SMT solver, can audit such requirements: translating them into formal logic, detecting ambiguity through stochastic variation in the generated formalization, and exposing inconsistency, vacuousness, and safety violations through solver queries on the resulting specification. We present VERIMED, a neurosymbolic pipeline that operationalizes this idea for medical-device software requirements, and report two findings. First, stochastic variation across independent formalizations is a signal of ambiguity: requirements that admit multiple plausible interpretations produce SMT-inequivalent formalizations, and bidirectional SMT equivalence checking turns this disagreement into a solver-checkable test. Second, the usefulness of symbolic feedback depends on its granularity: in counterexample-guided repair on a hemodialysis question-answering benchmark, concrete SMT counterexamples raise verified accuracy from 55.4% to 98.5%. Over an extensive experimental evaluation on open-source hemodialysis safety requirements, we show that the LLM-based approach in VERIMED successfully reduces ambiguity-sensitive requirements and enables rigorous auditing of software requirements through SMT-based queries.

Momentum

Related topics

Latest papers 150