1 citations · 2 across the 8 of their papers we have counts for
1 paper · 1 filter
Yicheng He, Zheng Zhao, Zhou Kaiyu +3
Current paradigms for code verification rely heavily on external mechanisms-such as execution-based unit tests or auxiliary LLM judges-which are often labor-intensive or limited by…