Citazione Stile APA (7a Edizione)

Peled, R., Kroening, D., Tautschnig, M., & Vizel, Y. (2025). Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?

Citazione stile Chigago Style (17a edizione)

Peled, Romy, Daniel Kroening, Michael Tautschnig, e Yakir Vizel. Large Lemma Miners: Can LLMs Do Induction Proofs for Hardware? 2025.

Citatione MLA (9a ed.)

Peled, Romy, et al. Large Lemma Miners: Can LLMs Do Induction Proofs for Hardware? 2025.