1 citations · 2 across the 9 of their papers we have counts for
1 paper · 1 filter
Yuming Feng, Tadd Mao, Dhruva Arekar +4
Autoformalization (AF) requires more than compilation: formal statements must preserve the meaning of their informal sources, a property known as faithfulness. An emerging frontier…