Publications

1. 2026

   An Agentic Bug-Hunt in SymPy

   Xinjie He, Hyunsik Chae and Ernest K. Ryu

   NeurIPS 2026 Workshop on Mathematical Reasoning and AI (MATH-AI), 2026 PDFcode

2. 2025

   A Sharp Gaussian Tail Bound for Sums of Uniforms

   Xinjie He, Katarzyna Wyczesany and Tomasz Tkocz

   Israel Journal of Mathematics, 1–16, 2025 DOIarXiv

3. 2024

   PROSE-FD: A Multimodal PDE Foundation Model for Learning Multiple Operators for Forecasting Fluid Dynamics

   Yuxuan Liu, Jingmin Sun, Xinjie He, Griffin Pinney, Zecheng Zhang and Hayden Schaeffer

   NeurIPS 2024 Foundation Models for Science Workshop, 2024 arXiv

Preprints

1. 2026

   Refuting a Conjecture of Umans and Wang on Arithmetic-Progression Divisor Covers

   Xinjie He and Amit Sahai

   arXiv:2608.06681, 2026 arXiv