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-4 of 4 papers (page 1 of 1)路 13 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Remembering Solomon Marcus Florin Nichita Published: 2026-09-16Area: math.HOCitations: 22 Tags: ai-safety, mathho, preprint | 2026-09-16 | math.HO | ai-safety, mathho, preprint | E12 / R10 (93%) | 22 |
| Math for AI safety: an invitation for mathematicians Lionel Levine Published: 2026-09-14Area: math.HOCitations: - Tags: ai-safety, mathho, preprint | 2026-09-14 | math.HO | ai-safety, mathho, preprint | - | - |
| A machine-checked proof of the Dong-Yang classification of optimal (n,4) binary codes for BSCs Shenghao Yang, Yanyan Dong Published: 2026-09-05Area: math.HOCitations: - Tags: ai-safety, mathho, preprint | 2026-09-05 | math.HO | ai-safety, mathho, preprint | E15 / R10 (93%) | - |
| Shaping the Future of Mathematics in the Age of AI Akshay Venkatesh, Johan Commelin, Lenny Taelman, Mateja Jamnik Published: 2026-03-26Area: math.HOCitations: 8 Tags: ai-safety, mathho, preprint | 2026-03-26 | math.HO | ai-safety, mathho, preprint | E5 / R3 (94%) | 8 |