"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…
1 articles about 'roundtrip verification'
A new study proposes a label-free "roundtrip verification and repair" method that effectively detects and fixes semantic…