2 citations · 3 across the 13 of their papers we have counts for
1 paper · 2 filters
Yanxing Huang, Xinling Jin, Sijie Liang +2
Autoformalization is one of the central tasks in formal verification, while its advancement remains hindered due to the data scarcity and the absence efficient methods. In this wor…