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 1-30 of 45 papers (page 1 of 2)路 90 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| 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%) | - |
| 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 | - | - |
| 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 |
| 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 | - | - |
| 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 | - | - |
| 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%) | - |
| 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%) | - |
| 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 |
| 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 |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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 | - | - |
| A Fortran General-Purpose Transpiler: Proof of Concept Kazem Ardaneh, Shivamshan Sivanesan Published: 2026-07-31Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-07-31 | cs.PL | ai-safety, cspl, preprint | E11 / R8 (92%) | - |
| GLP: A Grassroots, Multiagent, Concurrent, Logic Programming Language for AI Ehud Shapiro Published: 2026-07-23Area: cs.PLCitations: 52 Tags: ai-safety, cspl, preprint | 2026-07-23 | cs.PL | ai-safety, cspl, preprint | E10 / R8 (91%) | 52 |
| Decode-Time Grammars: Constrained LLM Generation over a Refinement Order of Grammar Fragments Chenxi Wang, Chunwei Xia, Haofeng Li, Huimin Cui Published: 2026-07-20Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-07-20 | cs.PL | ai-safety, cspl, preprint | E10 / R8 (93%) | - |
| ETAS: An Effect-Typed Language for Agent Systems Huiri Tan, Jiasi Shen, Puyang Zhang, Shangyu Li Published: 2026-07-20Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-07-20 | cs.PL | ai-safety, cspl, preprint | E6 / R5 (92%) | - |
| Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code Dawn Song, Hristo Venev, Jingxuan He, Martin Vechev Published: 2026-07-15Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-07-15 | cs.PL | ai-safety, cspl, preprint | E8 / R6 (94%) | - |
| Generative Compilation: On-the-Fly Compiler Feedback as AI Generates Code Dawn Song, Hristo Venev, Jingxuan He, Martin Vechev Published: 2026-07-15Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-07-15 | cs.PL | ai-safety, cspl, preprint | E13 / R12 (92%) | - |
| Volition Elicitation: Operational Semantics for People and Their Machines Ehud Shapiro Published: 2026-07-10Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-07-10 | cs.PL | ai-safety, cspl, preprint | E6 / R6 (91%) | - |
| Langshaw: Declarative Interaction Protocols Based on Sayso and Conflict Amit K. Chopra, Munindar P. Singh, Samuel H. Christie Published: 2026-06-28Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-06-28 | cs.PL | ai-safety, cspl, preprint | E7 / R5 (97%) | - |
| Mostly Automatic Translation of Language Interpreters from C to Safe Rust Bo Wang, Brandon Paulsen, Daniel Kroening, Joey Dodds Published: 2026-06-25Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-06-25 | cs.PL | ai-safety, cspl, preprint | E16 / R18 (93%) | - |
| Visored: A Controlled-Natural-Language Prover for LLM-Generated Mathematics Liao Zhang, Runlong Zhou, Simon S. Du, Xinyi Chen Published: 2026-06-16Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-06-16 | cs.PL | ai-safety, cspl, preprint | E7 / R4 (95%) | - |
| Provable Coordination for LLM Agents via Message Sequence Charts Benedikt Bollig, Matthias F眉gger, Thomas Nowak Published: 2026-04-19Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-19 | cs.PL | ai-safety, cspl, preprint | E12 / R8 (97%) | - |
| Prism: Symbolic Superoptimization of Tensor Programs Mengdi Wu, Oded Padon, Xiaoyu Jiang, Zhihao Jia Published: 2026-04-16Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-16 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (96%) | - |
| $位_A$: A Typed Lambda Calculus for LLM Agent Composition Qin Liu Published: 2026-04-13Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-13 | cs.PL | ai-safety, cspl, preprint | E7 / R3 (96%) | - |
| $位_A$: A Typed Lambda Calculus for LLM Agent Composition Qin Liu Published: 2026-04-13Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-13 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (98%) | - |
| M$^\star$: Every Task Deserves Its Own Memory Harness Mirror Xu, Shiwei Zhang, Shujie Liu, Wanlu Shi Published: 2026-04-10Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-10 | cs.PL | ai-safety, cspl, preprint | E6 / R5 (97%) | - |