most citedA novel decomposed-ensemble time series forecasting framework: capturing underlying volatility information

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.CLShow all

2 papers · 1 filter

cs.CL2026

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…

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 in natural language into a formal proof in a formal language such as Lean 4. Existing LLM-based models for p…