Cita APA (7a ed.)

Barone, A. V. M., & Nok, P. T. (2026). Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification.

Cita Chicago Style (17a ed.)

Barone, Antonio Valerio Miceli, y Poon Tsz Nok. Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification. 2026.

Cita MLA (9a ed.)

Barone, Antonio Valerio Miceli, y Poon Tsz Nok. Improving LLM Code Reasoning via Semantic Equivalence Self-Play with Formal Verification. 2026.