1 citations · 1 across the 3 of their papers we have counts for
4 papers
Human Evaluation with Automatic Scores: Separating Sampling and Estimation Gains
Yang Liu, Ran Zou, Zhengtao Gui +1
Automatic judges offer inexpensive information about model outputs, but an evaluation team must decide how to turn that information into fewer human annotations. Scores can guide s…
Evaluating the Robustness of Proof Autoformalization in Lean 4
Zhengtao Gui, Sheng Yang, Zhouxing Shi
Proof autoformalization aims to translate a mathematical informal proof in natural language into a formal proof in a formal language such as Lean 4. Existing LLM-based models for p…
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…
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…