2 citations · 2 across the 10 of their papers we have counts for
4 papers · 1 filter
Apodex Discovery: Reality Benchmarks and Environments for Evaluating and Building Discoverative Artificial Intelligence
Brian Wang, Bin Feng, Xiaoman Pan +26
Apollo did not reach the Moon merely because its engineers could solve difficult equations. It succeeded by turning a distant ambition into a mission architecture of explicit objec…
Return Probability for the Switch--Walk--Switch Lamplighter Walk on a Regular Tree
Chenyang An, Minghao Pan
We derive the sharp return-probability asymptotic for the switch--walk--switch lamplighter walk with lamp group over the infinite -regular tree: \[ p_{2n}(e,e) = ρ…
Lower Bounds for Advection-Diffusion Equations: An Exploration with AI-Generated Proofs
Chenyang An, Xiaoqian Xu
We establish explicit lower bounds for advection-diffusion equations in three settings: a polynomial bound for inviscid shears with , a uni…
QED: An Open-Source Multi-Agent System for Generating Mathematical Proofs on Open Problems
Chenyang An, Qihao Ye, Minghao Pan +1
We present QED, an open-source multi-agent system that turns human-provided research questions into complete mathematical proofs without further human guidance. Its pipeline is des…