APA (7th ed.) Citation

Kripner, M., Šustr, M., & Straka, M. (2025). LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4.

Chicago Style (17th ed.) Citation

Kripner, Matěj, Michal Šustr, and Milan Straka. LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4. 2025.

MLA (9th ed.) Citation

Kripner, Matěj, et al. LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4. 2025.

Warning: These citations may not always be 100% accurate.