Tan, M. (2026). Automating Formal Verification with Reinforcement Learning and Recursive Inference.
Citazione stile Chigago Style (17a edizione)Tan, Max. Automating Formal Verification with Reinforcement Learning and Recursive Inference. 2026.
Citatione MLA (9a ed.)Tan, Max. Automating Formal Verification with Reinforcement Learning and Recursive Inference. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.