Cita APA (7a ed.)
Carrott, P., Saavedra, N., Thompson, K., Lerner, S., Ferreira, J. F., & First, E. (May 7, 2024). CoqPyt: Proof Navigation in Python in the Era of LLMs. arXiv.org. https://doi.org/10.1145/3663529.3663814
Cita Chicago Style (17a ed.)
Carrott, Pedro, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F. Ferreira, y Emily First. "CoqPyt: Proof Navigation in Python in the Era of LLMs." ArXiv.org May 7, 2024. https://doi.org/10.1145/3663529.3663814.
Cita MLA (9a ed.)
Carrott, Pedro, et al. "CoqPyt: Proof Navigation in Python in the Era of LLMs." ArXiv.org, May 7, 2024, https://doi.org/10.1145/3663529.3663814.
Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.