Chenyang An
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems (available as arXiv preprint) | 2026-01-01 | Paper |
| Lower Bounds for Advection-Diffusion Equations: An Exploration with AI-Generated Proofs (available as arXiv preprint) | 2026-01-01 | Paper |
| Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree (available as arXiv preprint) | 2026-01-01 | Paper |
| Carleman Estimates for Wave Equations on the Half-Line: AI-Assisted Weights and Applications (available as arXiv preprint) | 2026-01-01 | Paper |
Research outcomes over time
This page was built for person: Chenyang An
