3 papers
cs.CL2026
Evaluating the Robustness of Proof Autoformalization in Lean 4
Zhengtao Gui, Sheng Yang, Zhouxing Shi
Proof autoformalization aims to translate a mathematical informal proof written in natural language into a formal proof in a formal language such as Lean~4. Several works have deve…
stat.ME2023
A novel decomposed-ensemble time series forecasting framework: capturing underlying volatility information
Zhengtao Gui, Haoyuan Li, Sijie Xu +1
Time series forecasting represents a significant and challenging task across various fields. Recently, methods based on mode decomposition have dominated the forecasting of complex…
math.PR2023
An introduction on the multivariate normal-ratio distribution
Sheng Yang, Zhengtao Gui
The statistical distribution of the ratio of two normal random variables is characterized by its heavy-tailed nature and absence of finite moments. The shape of its density functio…