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 34 papers (page 1 of 2)路 123 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| A Reversible Semantics for Janus Germ谩n Vidal, Ivan Lanese Published: 2026-02-18Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-02-18 | cs.PL | ai-safety, cspl, preprint | E8 / R6 (90%) | - |
| Beyond Pass-by-Pass Optimization: Intent-Driven IR Optimization with Large Language Models Fang Lyu, Huimin Cui, Lei Qiu, Ming Zhong Published: 2026-02-19Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-02-19 | cs.PL | ai-safety, cspl, preprint | E8 / R9 (90%) | - |
| Analyzing Latency Hiding and Parallelism in an MLIR-based AI Kernel Compiler Javed Absar, Muthu Baskaran, Samarth Narang Published: 2026-02-22Area: cs.PLCitations: 5 Tags: ai-safety, cspl, preprint | 2026-02-22 | cs.PL | ai-safety, cspl, preprint | E8 / R7 (93%) | 5 |
| Hexagon-MLIR: An AI Compilation Stack For Qualcomm's Neural Processing Units (NPUs) Abhikrant Sharma, Abhilash Bhandari, Ankit Aggarwal, Arun Rangasamy Published: 2026-02-23Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-02-23 | cs.PL | ai-safety, cspl, preprint | E10 / R9 (91%) | - |
| The LLMbda Calculus: AI Agents, Conversations, and Information Flow Andrew D. Gordon, David Sands, Zac Garby Published: 2026-02-23Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-02-23 | cs.PL | ai-safety, cspl, preprint | E10 / R8 (91%) | - |
| From Prompts to Performance: Evaluating LLMs for Task-based Parallel Code Generation Alexander Strack, Dirk Pfl眉ger, Linus Bantel, Moritz Strack Published: 2026-02-24Area: cs.PLCitations: 20 Tags: ai-safety, cspl, preprint | 2026-02-24 | cs.PL | ai-safety, cspl, preprint | E10 / R7 (93%) | 20 |
| Turn: A Language for Agentic Computation Muyukani Kizito Published: 2026-03-07Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-03-07 | cs.PL | ai-safety, cspl, preprint | E6 / R3 (99%) | - |
| s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs Balaji Rao, Carlo Lipizzi, John Harrison, Juneyoung Lee Published: 2026-03-15Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-03-15 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (98%) | - |
| DVM: Real-Time Kernel Generation for Dynamic AI Models Chengnuo Huang, Hui Xu, Jie Zhao, Jingzhi Fang Published: 2026-03-25Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-03-25 | cs.PL | ai-safety, cspl, preprint | E4 / R3 (97%) | - |
| Decidable By Construction: Design-Time Verification for Trustworthy AI Houston Haynes Published: 2026-03-26Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-03-26 | cs.PL | ai-safety, cspl, preprint | E6 / R4 (95%) | - |
| Evaluating adaptive and generative AI-based feedback and recommendations in a knowledge-graph-integrated programming learning system Adam Wynn, Jingyun Wang, Lalita Na Nongkhai, Takahiko Mendori Published: 2026-03-26Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-03-26 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (97%) | - |
| DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents Seamus Brady Published: 2026-03-29Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-03-29 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (96%) | - |
| Executing as You Generate: Hiding Execution Latency in LLM Code Generation Chengran Yang, David Lo, Li Li, Mingyi Zhou Published: 2026-04-01Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-01 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (96%) | - |
| AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels Chen Ding, Yanghui Wu, Yekai Pan, Yifan Zhu Published: 2026-04-06Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-06 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (99%) | - |
| EffiPair: Improving the Efficiency of LLM-generated Code with Relative Contrastive Feedback Samira Hajizadeh, Suman Jana Published: 2026-04-06Area: cs.PLCitations: - Tags: ai-safety, cspl, preprint | 2026-04-06 | cs.PL | ai-safety, cspl, preprint | E5 / R3 (96%) | - |
| 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%) | - |
| $位_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%) | - |
| $位_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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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%) | - |
| 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 |
| 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%) | - |