13 citations · 16 across the 6 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.CL2026
RePro: Proof-Verified Benchmark Rewriting for Reliable Evaluation of LLM Mathematical Problem Solving
Xiyuan Zhou, Zhuoqi Li, Xinlei Wang +6
Data contamination undermines the reliable evaluation of large language models (LLMs) on mathematical problem solving. While rewriting-based evaluation mitigates memorization, exis…
cs.CY2026
Hugging Carbon: Quantifying the Training Carbon Emissions of AI Models at Scale
Xinlei Wang, Ruibo Ming, Jing Qiu +2
The scaling-law era has transformed artificial intelligence (AI) from research into a global industry, but its rapid growth also raises concerns over energy usage, carbon emissions…
cs.AI2026
EngiAgent: Fully Connected Coordination of LLM Agents for Solving Open-ended Engineering Problems with Feasible Solutions
Xiyuan Zhou, Ruixi Zou, Xinlei Wang +4
Engineering problem solving is central to real-world decision-making, requiring mathematical formulations that not only represent complex problems but also produce feasible solutio…