4 papers
VeriScale: Adversarial Test-Suite Scaling for Verifiable Code Generation
Yifan Bai, Xiaoyang Liu, Zihao Mou +7
As large language models (LLMs) are increasingly deployed for software engineering, constructing high-quality benchmarks is crucial for evaluating not just the functional correctne…
Semi-Discrete in Time Method for Time-Dependent Equations by Random Neural Basis
Guihong Wang, Zheng-An Chen, Tao Luo
Neural network-based solvers for partial differential equations (PDEs) have attracted considerable attention, yet they often face challenges in accuracy and computational efficienc…
On Multi-Stage Loss Dynamics in Neural Networks: Mechanisms of Plateau and Descent Stages
Zheng-An Chen, Tao Luo, GuiHong Wang
The multi-stage phenomenon in the training loss curves of neural networks has been widely observed, reflecting the non-linearity and complexity inherent in the training process. In…
Numerical Stability for Differential Equations with Memory
Guihong Wang, Yuqing Li, Tao Luo +3
In this work, we systematically investigate linear multi-step methods for differential equations with memory. In particular, we focus on the numerical stability for multi-step meth…