Emergence of Novelty in Evolutionary Algorithms. - David Herel; Dominika Zogatova; Matej Kripner; Tomás Mikolov (CoRR, 2022)

LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4. - Matej Kripner; Michal Sustr; Milan Straka (CoRR, 2025)