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 91-95 of 95 papers (page 4 of 4)路 54 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents Fei Guan, Junyi Liu, Nan Guan, Tianchi Ren Published: 2026-10-01Area: cs.LOCitations: 61 Tags: ai-safety, cslo, preprint | 2026-10-01 | cs.LO | ai-safety, cslo, preprint | E8 / R6 (94%) | 61 |
| Response Variability and Stability in Human Reasoning Clemens Bombach, Marco Ragni, Rajmadan Lakshmanan Published: 2026-10-02Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-10-02 | cs.LO | ai-safety, cslo, preprint | E12 / R10 (94%) | 15 |
| Solving VeriContest with a Lean-Backed Rust Verifier Andrei Stefanescu, Cosmin Radoi, Jun Xu, Traian Serbanuta Published: 2026-10-02Area: cs.LOCitations: 5 Tags: ai-safety, cslo, preprint | 2026-10-02 | cs.LO | ai-safety, cslo, preprint | E11 / R9 (92%) | 5 |
| AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness Akash Singirikonda, Cy Xie, Joe Stubbs, Lisa Carbone Published: 2026-10-04Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-10-04 | cs.LO | ai-safety, cslo, preprint | - | - |
| Scenario-Based Compositional Statistical Model Checking for Safety Specifications Abhinav Pomalapally, Arya Raeesi, Beyazit Yalcinkaya, Kevin Kai-Chun Chang Published: 2026-10-04Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-10-04 | cs.LO | ai-safety, cslo, preprint | - | - |