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-5 of 5 papers (page 1 of 1)路 16 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| A strengthening of the MCFL-ness of $O_2$ Marco B. Caminati Published: 2026-08-19Area: cs.FLCitations: - Tags: ai-safety, csfl, preprint | 2026-08-19 | cs.FL | ai-safety, csfl, preprint | E6 / R4 (94%) | - |
| Algebraic Decomposition Theory for Transformer Length Generalization Andreas Krebs, Andy Yang, Blerta Veseli, Charles Paperman Published: 2026-08-13Area: cs.FLCitations: - Tags: ai-safety, csfl, preprint | 2026-08-13 | cs.FL | ai-safety, csfl, preprint | E8 / R6 (91%) | - |
| Harnessing Code Agents for Automatic Software Verification Sebastian Ertel, Shuanglong Kan, Shuangxiang Kan Published: 2026-07-07Area: cs.FLCitations: - Tags: ai-safety, csfl, preprint | 2026-07-07 | cs.FL | ai-safety, csfl, preprint | E16 / R18 (94%) | - |
| Destination-Labeled Self-Looping Systems with Dwell: Intrinsic Characterization, Realization Cost, and Recognition Reda Belaiche Published: 2026-06-29Area: cs.FLCitations: - Tags: ai-safety, csfl, preprint | 2026-06-29 | cs.FL | ai-safety, csfl, preprint | E5 / R3 (96%) | - |
| Decoupled Planning for Multiple Omega-Regular Objectives Guy Avni, Kaushik Mallik, K. S. Thejaswini, Suman Sadhukhan Published: 2026-05-13Area: cs.FLCitations: - Tags: ai-safety, csfl, preprint | 2026-05-13 | cs.FL | ai-safety, csfl, preprint | E10 / R9 (94%) | - |