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)路 41 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| When Agda met Vampire Artjoms 艩inkarovs, Michael Rawson Published: 2026-02-21Area: cs.LOCitations: 44 Tags: ai-safety, cslo, preprint | 2026-02-21 | cs.LO | ai-safety, cslo, preprint | E6 / R6 (92%) | 44 |
| TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions Takao Inou茅 Published: 2026-02-19Area: cs.LOCitations: 11 Tags: ai-safety, cslo, preprint | 2026-02-19 | cs.LO | ai-safety, cslo, preprint | E9 / R8 (92%) | 11 |
| Causal and Compositional Abstraction Robin Lorenz, Sean Tull Published: 2026-02-18Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-02-18 | cs.LO | ai-safety, cslo, preprint | E10 / R7 (92%) | - |
| MerLean: An Agentic Framework for Autoformalization in Quantum Computation Jinzheng Li, Yidi Qi, Yuanjie Ren Published: 2026-02-18Area: cs.LOCitations: 15 Tags: ai-safety, cslo, preprint | 2026-02-18 | cs.LO | ai-safety, cslo, preprint | E10 / R9 (92%) | 15 |
| Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions Zoran Majkic Published: 2026-02-18Area: cs.LOCitations: - Tags: ai-safety, cslo, preprint | 2026-02-18 | cs.LO | ai-safety, cslo, preprint | E7 / R6 (90%) | - |