"Roundtrip Verification" Makes LLM Autoformalization More Faithful and Reliable
A new study proposes a label-free "roundtrip verification and repair" method that effectively detects and fixes semantic…
🏷️ roundtrip verification
1 articles about 'roundtrip verification'
1