Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification.

Poon Tsz Nok, Antonio Valerio Miceli Barone

Browse the full ACL paper archive.