Citazione Stile APA (7a Edizione)

Sanchez-Stern, A., Varghese, A., Kaufman, Z., Zhang, D., Ringer, T., & Brun, Y. (2024). QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning.

Citazione stile Chigago Style (17a edizione)

Sanchez-Stern, Alex, Abhishek Varghese, Zhanna Kaufman, Dylan Zhang, Talia Ringer, e Yuriy Brun. QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. 2024.

Citatione MLA (9a ed.)

Sanchez-Stern, Alex, et al. QEDCartographer: Automating Formal Verification Using Reward-Free Reinforcement Learning. 2024.