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 |
|---|---|---|---|---|---|
Showing 31-45 of 45 papers (page 2 of 2)路 65 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Can Large Language Models Recover Semantic Optimization Opportunities That Compilers Miss? Chunwei Xia, Emran Hossain, Feng Yu, Hailong Jiang Published: 2026-08-04Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-08-04 | cs.PL | ai-safety, cspl, preprint | - | - |
| GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation Corrado Priami Published: 2026-08-04Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-08-04 | cs.PL | ai-safety, cspl, preprint | - | - |
| Learning Context-Free Grammars for Grammar-Constrained Decoding via Declarative Agentic Programming with Guarantees Federico Mora, Felipe R. Monteiro, Geoff Hulette, Kevin Cheang Published: 2026-08-06Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-08-06 | cs.PL | ai-safety, cspl, preprint | E10 / R9 (93%) | - |
| Escaping the Quicksand: A Call to Arms Jean Pichon-Pharabod, Peter Sewell Published: 2026-08-20Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-08-20 | cs.PL | ai-safety, cspl, preprint | E18 / R9 (93%) | - |
| Predicting Program Exit Code with LLMs and Programming Language Semantics Aditya Thimmaiah, Jayanth Srinivasa, Junyi Jessy Li, Lara Marinov Published: 2026-09-01Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-09-01 | cs.PL | ai-safety, cspl, preprint | E11 / R10 (94%) | - |
| Design Docs Are All You Need: An AI-native Machine-Learning Performance Tool Fred Kjolstad, Kavya Sreedhar, Kimia Noorbakhsh, Liqun Cheng Published: 2026-09-04Area: cs.PLCitations: 6 Tags: ai-safety, cspl, preprint | 2026-09-04 | cs.PL | ai-safety, cspl, preprint | E9 / R7 (90%) | 6 |
| Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution Chu Wang, Genliang Zhu Published: 2026-09-18Area: cs.PLCitations: 15 Tags: ai-safety, cspl, preprint | 2026-09-18 | cs.PL | ai-safety, cspl, preprint | E9 / R7 (91%) | 15 |
| Beyond Natural Language: An Agent-Native Language for Autonomous Science Jiachen Liu, Yifeng He Published: 2026-09-21Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-09-21 | cs.PL | ai-safety, cspl, preprint | E12 / R11 (92%) | - |
| Djinnlang: Higher-Level Programming by Unambiguous Specification with an LLM in the Compiler Nada Amin, Simon Henniger, Stephen Chong Published: 2026-09-21Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-09-21 | cs.PL | ai-safety, cspl, preprint | E8 / R6 (93%) | - |
| Agents as Software: A Programming Languages Agenda for Agent Reliability Adithya Murali, Shraddha Barke Published: 2026-09-26Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-09-26 | cs.PL | ai-safety, cspl, preprint | E9 / R7 (93%) | - |
| Semantic Prefix Oracles for LLM Decoding: Contracts and Differential Validation Paul Kronlund-Drouault Published: 2026-09-28Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-09-28 | cs.PL | ai-safety, cspl, preprint | - | - |
| DatalogBench: Evaluating Large Language Models on Text-to-Datalog Synthesis Chengpeng Wang, Guowei Tian, Hanyun Jiang, Peisen Yao Published: 2026-09-29Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-09-29 | cs.PL | ai-safety, cspl, preprint | - | - |
| Coco: An Agentic Copilot for the Hardware--Software Co-Design Lifecycle Amir Yazdanbakhsh, Christina Delimitrou, Kavya Sreedhar, Ming Liu Published: 2026-10-01Area: cs.PLCitations: 12 Tags: ai-safety, cspl, preprint | 2026-10-01 | cs.PL | ai-safety, cspl, preprint | E10 / R10 (93%) | 12 |
| WAMpy: Efficient Synthesis of Prolog Programs in Python Dominik Magiera, Frank J盲kel, Lukas R枚hrig Published: 2026-10-02Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-10-02 | cs.PL | ai-safety, cspl, preprint | - | - |
| Cleave: Scaling Tensor Program Optimization via Decoupled Algebraic Search and Operator Scheduling Aurojit Panda, David Pissarra, Haitian Jiang, Jinkun Lin Published: 2026-10-06Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-10-06 | cs.PL | ai-safety, cspl, preprint | E10 / R8 (92%) | - |