APA (7th ed.) Citation

Kresse, F., Yu, E., Lampert, C. H., & Henzinger, T. A. (2025). Logic Gate Neural Networks are Good for Verification.

Chicago Style (17th ed.) Citation

Kresse, Fabian, Emily Yu, Christoph H. Lampert, and Thomas A. Henzinger. Logic Gate Neural Networks Are Good for Verification. 2025.

MLA (9th ed.) Citation

Kresse, Fabian, et al. Logic Gate Neural Networks Are Good for Verification. 2025.