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 |
|---|---|---|---|---|---|
| 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%) | - |
| 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 |
| 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%) | - |
| AgentForge: Execution-Grounded Multi-Agent LLM Framework for Autonomous Software Engineering Junaid Ahmed, Najma Imtiaz Ali, Rajesh Kumar, Shaban Usman Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (97%) | - |
| Ambiguity Detection and Elimination in Automated Executable Process Modeling Akihiro Inomata, Hon Yung Wong, Ion Matei, Maksym Zhenirovskyy Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (95%) | - |
| AnyPoC: Universal Proof-of-Concept Test Generation for Scalable LLM-Based Bug Detection Chenyuan Yang, Lingming Zhang, Weidong Wang, Yihan Yang Published: 2026-04-13Area: cs.SECitations: - Tags: ai-safety, csse, preprint | 2026-04-13 | cs.SE | ai-safety, csse, preprint | E5 / R3 (95%) | - |
| 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%) | - |
| 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 / R2 (94%) | - |
| 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 (96%) | - |
| 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%) | - |