175 citations · 190 across the 5 of their papers we have counts for
1 paper · 1 filter
Zheng Du, Hao Kang, Song Han +2
Large language models (LLMs) such as GPT-5 and Gemini 3 have pushed the frontier of automated reasoning and code generation. Yet current benchmarks emphasize accuracy and output qu…