1 citations · 1 across the 3 of their papers we have counts for
5 papers
Fluctuations of Nonlinear Observables in Mean Field Neural Network Training
Arnaud Descours, Geoffrey Lacour
Mean field limits describe the training dynamics of wide neural networks through the evolution of the empirical distribution of their parameters. Although functional central limit…
OpenProver: Agentic and Interactive Theorem Proving with Lean 4
Matěj Kripner, Milan Straka
In this system paper, we present OpenProver, an open-source system for LLM-driven automated theorem proving (ATP) with integrated Lean 4 formal verification. OpenProver integrates…
Bolzano: Case Studies in LLM-Assisted Mathematical Research
Martin Balko, Jan Grebík, Pavel Hubáček +5
We report new results on eight problems in mathematics and theoretical computer science, produced with the assistance of Bolzano, an open-source multi-agent LLM system. Bolzano orc…
LeanTree: Accelerating White-Box Proof Search with Factorized States in Lean 4
Matěj Kripner, Michal Šustr, Milan Straka
Automated theorem proving (ATP) has been a classical problem in artificial intelligence since its inception, yet it remains challenging due to its vast state and action space. Larg…
Emergence of Novelty in Evolutionary Algorithms
David Herel, Dominika Zogatova, Matej Kripner +1
One of the main problems of evolutionary algorithms is the convergence of the population to local minima. In this paper, we explore techniques that can avoid this problem by encour…