APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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