Peled, R., Kroening, D., Tautschnig, M., & Vizel, Y. (2025). Large Lemma Miners: Can LLMs do Induction Proofs for Hardware?
Chicago-Zitierstil (17. Ausg.)Peled, Romy, Daniel Kroening, Michael Tautschnig, und Yakir Vizel. Large Lemma Miners: Can LLMs Do Induction Proofs for Hardware? 2025.
MLA-Zitierstil (9. Ausg.)Peled, Romy, et al. Large Lemma Miners: Can LLMs Do Induction Proofs for Hardware? 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.