论文与
预印本。

MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis

Lushi Pu, Weiming Zhang, Xinheng Xie, Zixuan Fu, Bingxiang He, Hongya Lyu, Xin Li, Jie Zhou, Yudong Wang

arXiv:2606.13782

语言模型能证明多难的定理？从两个难度层级，评估模型在数学分析中的形式化定理证明能力。

2DSig-Detect: A semi-supervised framework for anomaly detection on image data using 2D-signatures

Xinheng Xie, Kureha Yamaguchi, Margaux Leblanc, Simon Malzard, Varun Chhabra, Victoria Nockles, Yue Wu

Pattern Recognition, 180, 114172

发现图像中的不同寻常之处。将二维签名与半监督学习结合，识别图像中的异常模式。

出版社书目记录将这篇论文编入 2026 年 12 月卷期。

NODE-ImgNet: A PDE-informed effective and robust model for image denoising

Xinheng Xie, Yue Wu, Hao Ni, Cuiyu He

Pattern Recognition, 148, 110176

借助数学，让图像清晰一点。融合微分方程的结构与神经常微分方程，研究图像去噪。

NODE-AdvGAN: Improving the transferability and perceptual similarity of adversarial examples by dynamic-system-driven adversarial generative model

Xinheng Xie, Yue Wu, Cuiyu He

arXiv:2412.03539

细微的变化，不同的答案。通过动态系统驱动的对抗图像生成方法，研究模型的脆弱性。

On approximation of solutions of stochastic delay differential equations via randomized Euler scheme

Paweł Przybyłowicz, Yue Wu, Xinheng Xie

Applied Numerical Mathematics, 197, 143–163

为同时受到随机因素和历史状态影响的系统，研究可靠的数值近似方法。

A Randomized Runge-Kutta Method for time-irregular delay differential equations

Fabio V. Difonzo, Paweł Przybyłowicz, Yue Wu, Xinheng Xie

arXiv:2401.11658

针对时间依赖不规则的延迟微分方程，构造和分析随机化数值方法。