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 |
|---|---|---|---|---|---|
| CodeTracer: Towards Traceable Agent States Han Li, Haoyang Huang, He Ye, Hongyi Ye Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (93%) | - |
| Designing Adaptive Digital Nudging Systems with LLM-Driven Reasoning Mahyar Tourchi Moghaddam, Mina Alipour, Tiziano Santilli Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (95%) | - |
| E2E-REME: Towards End-to-End Microservices Auto-Remediation via Experience-Simulation Reinforcement Fine-Tuning Bolin Ding, Chiming Duan, Lingzhe Zhang, Minghua He Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (95%) | - |
| FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning Haibo Chen, Haoran Ding, Zhaoguo Wang Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (97%) | - |
| From Plan to Action: How Well Do Agents Follow the Plan? Jatin Ganhotra, Martin Hirzel, Reyhaneh Jabbarvand, Saman Dehghan Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (94%) | - |
| From Translation to Superset: Benchmark-Driven Evolution of a Production AI Agent from Rust to Python Biswa Sengupta, Jinhua Wang Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E6 / R3 (98%) | - |
| LLM-Based Automated Diagnosis Of Integration Test Failures At Google Celal Ziftci, Livio Dalloro, Ray Liu, Spencer Greene Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (99%) | - |
| Taking a Pulse on How Generative AI is Reshaping the Software Engineering Research Landscape Antonio Pedro Santos Alves, Bianca Trinkenreich, Fabio Calefato, Júlia Condé Araújo Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E4 / R3 (94%) | - |
| Beyond Output Correctness: Benchmarking and Evaluating Large Language Model Reasoning in Coding Tasks David Hong, Ethan Yu, Iftekhar Ahmed, Justin Tian Jin Chen Published: 2026-04-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-14 | cs.SE | ai-safety, csse, preprint | E6 / R3 (94%) | - |
| CoDe-R: Refining Decompiler Output with LLMs via Rationale Guidance and Adaptive Inference Qiang Zhang, Zhongnian Li Published: 2026-04-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-14 | cs.SE | ai-safety, csse, preprint | E5 / R4 (96%) | - |
| Dive into Claude Code: The Design Space of Today's and Future AI Agent Systems Jiacheng Liu, Xiaohan Zhao, Xinyi Shang, Zhiqiang Shen Published: 2026-04-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-14 | cs.SE | ai-safety, csse, preprint | E5 / R3 (96%) | - |
| Is Vibe Coding the Future? An Empirical Assessment of LLM Generated Codes for Construction Safety S M Jamil Uddin Published: 2026-04-14Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-14 | cs.SE | ai-safety, csse, preprint | E6 / R3 (95%) | - |
| Large Language Models to Enhance Business Process Modeling: Past, Present, and Future Trends João Bettencourt, Sérgio Guerreiro Published: 2026-04-15Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-15 | cs.SE | ai-safety, csse, preprint | E5 / R3 (96%) | - |
| Learning from Change: Predictive Models for Incident Prevention in a Regulated IT Environment Arie van Deursen, Diomidis Spinellis, Eileen Kapel, Jan Lennartz Published: 2026-04-15Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-15 | cs.SE | ai-safety, csse, preprint | E5 / R3 (94%) | - |
| LLMs taking shortcuts in test generation: A study with SAP HANA and LevelDB Noah C. Pütz, Thomas Bartz-Beielstein, Vekil Bekmyradov Published: 2026-04-15Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-15 | cs.SE | ai-safety, csse, preprint | E6 / R3 (97%) | - |
| Sentiment analysis for software engineering: How far can zero-shot learning (ZSL) go? Manal Binkhonain, Reem Alfayez Published: 2026-04-15Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-15 | cs.SE | ai-safety, csse, preprint | E5 / R3 (94%) | - |
| The Cognitive Circuit Breaker: A Systems Engineering Framework for Intrinsic AI Reliability Jonathan Pan Published: 2026-04-15Area: cs.SECitations: 7 Tags: ai-safety, csse, preprint | 2026-04-15 | cs.SE | ai-safety, csse, preprint | E7 / R3 (95%) | 7 |
| AI-Assisted Requirements Engineering: An Empirical Evaluation Relative to Expert Judgment Ilya Dikman, Michael Winokur, Natan Levy, Oz Levy Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint, safety-evaluation | 2026-04-16 | cs.SE | ai-safety, csse, preprint, safety-evaluation | E6 / R3 (95%) | - |
| AIPC: Agent-Based Automation for AI Model Deployment with Qualcomm AI Runtime Jianhao Su, ShengTing Huang, Weidong Feng, Zhanwei Wu Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E6 / R3 (95%) | - |
| Analyzing Chain of Thought (CoT) Approaches in Control Flow Code Deobfuscation Tasks Edward Raff, Manas Gaur, Sarvesh Baskar, Seyedreza Mohseni Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E8 / R4 (95%) | - |
| Asking What Matters: Reward-Driven Clarification for Software Engineering Tasks Graham Neubig, Sanidhya Vijayvargiya, Vijay Viswanathan Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E5 / R3 (94%) | - |
| Bounded Autonomy for Enterprise AI: Typed Action Contracts and Consumer-Side Execution Ghufran Haider, Sarmad Sohail Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E4 / R3 (95%) | - |
| Scaling Test-Time Compute for Agentic Coding Anirudh Goyal, Daniel Fried, Eryk Helenowski, Gabriel Synnaeve Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E7 / R4 (96%) | - |
| Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility Christian Kästner, Christopher S. Timperley, Eunsuk Kang, Yining Hong Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E9 / R6 (97%) | - |
| The Semi-Executable Stack: Agentic Software Engineering and the Expanding Scope of SE Dhasarathy Parthasarathy, Julian Frattini, Per Lenberg, Robert Feldt Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E13 / R15 (98%) | - |
| Understanding Tool-Augmented Agents for Lean Formalization: A Factorial Analysis Ke Zhang, Maziar Raissi, Patricio Gallardo, Sudhir Murthy Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E11 / R4 (97%) | - |
| Vibe-Coding: Feedback-Based Automated Verification with no Human Code Inspection, a Feasibility Study František Plášil, Michal Töpfer, Petr Hnětynka, Tomáš Bureš Published: 2026-04-16Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-16 | cs.SE | ai-safety, csse, preprint | E4 / R2 (95%) | - |
| Certified Program Synthesis with a Multi-Modal Verifier Dipesh Kafle, George Pîrlea, Ilya Sergey, Peter Müller Published: 2026-04-17Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-17 | cs.SE | ai-safety, csse, preprint | E8 / R4 (98%) | - |
| CodeMMR: Bridging Natural Language, Code, and Image for Unified Retrieval Fakhri Karray, Fengyu Cai, Jiahui Geng, Qing Li Published: 2026-04-17Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-17 | cs.SE | ai-safety, csse, preprint | E12 / R6 (97%) | - |
| Neurosymbolic Repo-level Code Localization Xiufeng Wu, Xiufeng Xu, Yi Li, Zejun Zhang Published: 2026-04-17Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-17 | cs.SE | ai-safety, csse, preprint | E10 / R7 (97%) | - |