Cita APA (7a ed.)

Balunović, M., Dekoninck, J., Jovanović, N., Petrov, I., & Vechev, M. (2025). MathConstruct: Challenging LLM Reasoning with Constructive Proofs.

Cita Chicago Style (17a ed.)

Balunović, Mislav, Jasper Dekoninck, Nikola Jovanović, Ivo Petrov, y Martin Vechev. MathConstruct: Challenging LLM Reasoning with Constructive Proofs. 2025.

Cita MLA (9a ed.)

Balunović, Mislav, et al. MathConstruct: Challenging LLM Reasoning with Constructive Proofs. 2025.