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-3 of 3 papers (page 1 of 1)路 40 ms
| Paper | Published | Area | Tags | Intel | Citations |
|---|---|---|---|---|---|
| Learning embeddings of non-linear PDEs: the Burgers' equation Leonid Sarieddine, Pavlos Protopapas, Pedro Taranc贸n-脕lvarez, Raul Jimenez Published: 2026-03-08Area: math.APCitations: - Tags: ai-safety, mathap, preprint | 2026-03-08 | math.AP | ai-safety, mathap, preprint | E4 / R3 (95%) | - |
| Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs Alexander Bastounis, Anders C. Hansen, Fabian Circelli Published: 2026-10-06Area: math.APCitations: - Tags: ai-safety, mathap, preprint | 2026-10-06 | math.AP | ai-safety, mathap, preprint | - | - |
| Localized Generative Design of Ship Hulls with Diffusion Models and High-Fidelity Assessment Hadi Keramati, Jim Pyra, Joonas Riekkinen, Mohammed A. Hannan Published: 2026-10-09Area: math.APCitations: 20 Tags: ai-safety, mathap, preprint | 2026-10-09 | math.AP | ai-safety, mathap, preprint | E8 / R6 (92%) | 20 |