Onda, N., Kasaura, K., Oriike, Y., Taniguchi, M., Sannai, A., & Sonoda, S. (2025). LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving.
Citazione stile Chigago Style (17a edizione)Onda, Naoto, Kazumi Kasaura, Yuta Oriike, Masaya Taniguchi, Akiyoshi Sannai, e Sho Sonoda. LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving. 2025.
Citatione MLA (9a ed.)Onda, Naoto, et al. LeanConjecturer: Automatic Generation of Mathematical Conjectures for Theorem Proving. 2025.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.