Instant research discovery
Search and browse arXiv CS/AI/ML papers, enriched with AI-generated insights.
Generate novel research ideas grounded in real arXiv papers with Brainstorm.
PreviousNext
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
Search and browse arXiv CS/AI/ML papers, enriched with AI-generated insights.
Generate novel research ideas grounded in real arXiv papers with Brainstorm.
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
Search and browse arXiv CS/AI/ML papers, enriched with AI-generated insights.
Generate novel research ideas grounded in real arXiv papers with Brainstorm.
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| The Prover Is the Judge: Verified Security Software from AI Coding Agents in Ada/SPARK Tobias Philipp Published: 2026-07-15Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-15 | cs.SE | ai-safety, csse, preprint | E10 / R8 (91%) | - |
| ToolAlignBench: Investigating Alignment Conflicts in Tool-Calling Enabled LLMs Amrita Bhattacharjee, Aryan Keluskar, Huan Liu Published: 2026-07-15Area: cs.SECitations: - Tags: ai-safety, alignment-training, csse, preprint | 2026-07-15 | cs.SE | ai-safety, alignment-training, csse, preprint | E8 / R6 (94%) | - |
| Towards Reliable AI-Assisted Analog Design: Template-Constrained LLM Agents for SAR ADC Generation Anantha P. Chandrakasan, Dimple Vijay Kochar, Hae-Seung Lee Published: 2026-07-15Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-15 | cs.SE | ai-safety, csse, preprint | E7 / R8 (94%) | - |
| Why Git Is the Memory Solution for the Agentic Development Lifecycle Frank Guo Published: 2026-07-15Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-15 | cs.SE | ai-safety, csse, preprint | E8 / R6 (89%) | - |
| Agent-Safety Evaluations as Load-Bearing Evidence: A Vendor-Neutral, Cross-Harness Reconstructability Metric Oleg Solozobov Published: 2026-07-14Area: cs.SECitations: 35 Tags: ai-safety, csse, preprint, safety-evaluation | 2026-07-14 | cs.SE | ai-safety, csse, preprint, safety-evaluation | E19 / R19 (90%) | 35 |
| Code-MUE: Measuring Code LLMs' Uncertainty through Execution-based Semantic Interaction Graphs Lei Ma, Xiaoning Ren, Yinxing Xue, Yuheng Huang Published: 2026-07-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E9 / R7 (91%) | - |
| Code-MUE: Measuring Code LLMs' Uncertainty through Execution-based Semantic Interaction Graphs Lei Ma, Xiaoning Ren, Yinxing Xue, Yuheng Huang Published: 2026-07-14Area: cs.SECitations: 15 Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E9 / R6 (90%) | 15 |
| Faithful Autoformalization of Natural Language Assertions Adithya Murali, Hongyi Liu, Madhusudan Parthasarathy Published: 2026-07-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E7 / R8 (94%) | - |
| Faithful Autoformalization of Natural Language Assertions Adithya Murali, Hongyi Liu, Madhusudan Parthasarathy Published: 2026-07-14Area: cs.SECitations: 15 Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E14 / R13 (89%) | 15 |
| Form, Not Content? A Preregistered, Placebo-Controlled Evaluation of Learned Error-Conditioned Self-Repair Through Prompts and Weights in Frozen Small Code Models Mehmet Iscan Published: 2026-07-14Area: cs.SECitations: 15 Tags: ai-safety, csse, preprint, safety-evaluation | 2026-07-14 | cs.SE | ai-safety, csse, preprint, safety-evaluation | E8 / R6 (90%) | 15 |
| Line-Anchored Feedback Cuts Token Costs and Improves Correctness in AI Code Editing William Franz Lamberti Published: 2026-07-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E10 / R7 (91%) | - |
| Multi-Perspective Agentic Program Repair via Code Property Graphs and Temporal Execution Graphs Hongyu Zhang, Ling Xu, Zhili Huang Published: 2026-07-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E10 / R8 (93%) | - |
| SemaDiff: Identifying Semantic-Changing Commits with Generated Code and Tests Ahmed Khanfir, Maha Ayub, Michael Konstantinou, Mike Papadakis Published: 2026-07-14Area: cs.SECitations: 33 Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E10 / R7 (91%) | 33 |
| XScientist: A Git-Like Research Protocol for Long-Running Autonomous Scientific Discovery Jixiang Luo Published: 2026-07-14Area: cs.SECitations: 14 Tags: ai-safety, csse, preprint | 2026-07-14 | cs.SE | ai-safety, csse, preprint | E10 / R8 (88%) | 14 |
| AgentCheck: A Reproduce-Intervene-Mitigate Workbench for LLM Agents over MCP Aritra Mazumder, Nusrat jahan Lia Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E12 / R13 (94%) | - |
| AgentCheck: A Reproduce-Intervene-Mitigate Workbench for LLM Agents over MCP Aritra Mazumder, Nusrat jahan Lia Published: 2026-07-13Area: cs.SECitations: 15 Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E11 / R9 (88%) | 15 |
| AgentCheck: A Reproduce-Intervene-Mitigate Workbench for LLM Agents over MCP Aritra Mazumder, Nusrat jahan Lia Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E12 / R10 (90%) | - |
| An Empirical Study for Android-to-OpenHarmony GUI Test Migration Li Li, Mingyi Zhou, Shaokun Zhang, Xiang Gao Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E8 / R9 (95%) | - |
| An Empirical Study for GUI Test Migration from Android to OpenHarmony System Li Li, Mingyi Zhou, Shaokun Zhang, Xiang Gao Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E9 / R9 (93%) | - |
| AutoTrace: From Patches to Triggers via Agentic Interprocedural Exploration Arastoo Zibaeirad, Marco Vieira, Thomas Zimmermann Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E6 / R6 (91%) | - |
| BackendForge: Benchmarking Agentic End-to-End Code Generation with Backend Services Dezhi Ran, Jialei Wei, Mengzhou Wu, Tao Xie Published: 2026-07-13Area: cs.SECitations: 15 Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E6 / R5 (92%) | 15 |
| Evaluating RE Practices for Explainability: Synthesizing Insights from Daimler Truck into an Explainable RE Framework Proposal Jonas Fritzsch, Justus Bogner, Lucas Mauser, Stefan Wagner Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E12 / R10 (91%) | - |
| Fail-Aware and Explainable Test Oracle Prediction Binish Tanveer, Jelena Zdravkovic, Yue Zhao Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E12 / R9 (90%) | - |
| Inference Economics of Enterprise Coding Agents: A Case Study of Cloud vs. On-Premise LLMs Sheng-Wei Peng, Yi-Hsun Lin, Yi-Pei Lee Published: 2026-07-13Area: cs.SECitations: 19 Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E11 / R8 (93%) | 19 |
| RepTran: Search-Based Repair of Transformer Models Fuyuki Ishikawa, Masanari Kondo, Naoyasu Ubayashi, Paolo Arcaini Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E10 / R8 (92%) | - |
| RepTran: Search-Based Repair of Transformer Models Fuyuki Ishikawa, Masanari Kondo, Naoyasu Ubayashi, Paolo Arcaini Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E8 / R10 (93%) | - |
| Self-Improving AI Coding Agents Through Accumulated Behavioral Rules: A Closed-Loop Framework Aditya Aggarwal, Nahid Farhady Ghalaty Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E17 / R15 (93%) | - |
| Understanding the Impact of AI Code Assistants on Security API Usage: An Empirical Study Alsharif Abuadbba, Chadni Islam, Kristen Moore, M. Ali Babar Published: 2026-07-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-13 | cs.SE | ai-safety, csse, preprint | E7 / R6 (90%) | - |
| Commenting with Copilot: A Taxonomy and Multi-Year Analysis of Student Code-Generation Specifications Nasser Giacaman, Paul Denny, Valerio Terragni, Viraj Kumar Published: 2026-07-12Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-12 | cs.SE | ai-safety, csse, preprint | E12 / R9 (95%) | - |
| How Do Practitioners Build SE Agents? Insights from a Mixed-Methods Study Chao Peng, David Lo, David Williams, Federica Sarro Published: 2026-07-12Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-07-12 | cs.SE | ai-safety, csse, preprint | E9 / R6 (89%) | - |