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-34 of 34 papers (page 2 of 2)路 20 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%) | - |