ML Anthology

Limperg, Jannis

1 publications

NeurIPSW 2024 ABEL: Sample Efficient Online Reinforcement Learning for Neural Theorem Proving Fabian Gloeckle, Jannis Limperg, Gabriel Synnaeve, Amaury Hayat