Leopoldo Sarra

11 papers A* 1Journal 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Minimal Agent for Automated Theorem Proving.
CoRR
Borja Requena Pozo, Austin Letson, Krystian Nowakowski, Izan Beltran Ferreiro, Leopoldo Sarra
2026 J jnl
SorryDB: Can AI Provers Complete Real-World Lean Theorems?
CoRR
Austin Letson, Leopoldo Sarra, Auguste Poiroux, Oliver Dressler, Paul Lezeau, Dhyan Aranha, Frederick Pu, Aaron Hill, Miguel Corredera Hidalgo, Julian Berman, George Tsoukalas, Lenny Taelman
2025 J jnl
Joint Embeddings Go Temporal.
CoRR
Sofiane Ennadir, Siavash Golkar, Leopoldo Sarra
2025 J jnl
Universal Spectral Tokenization via Self-Supervised Panchromatic Representation Learning.
CoRR
Jeff Shen, François Lanusse, Liam Holden Parker, Ollie Liu, Tom Hehir, Leopoldo Sarra, Lucas Meyer, Micah Bowles, Sebastian Wagner-Carena, Helen Qu, Siavash Golkar, Alberto Bietti, Hatim Bourfoune, Nathan Cassereau, Pierre Cornette, Keiya Hirashima, Géraud Krawezik, Ruben Ohana, Nicholas Lourie, Michael McCabe, Rudy Morel, Payel Mukhopadhyay, Mariel Pettee, Bruno Régaldo-Saint Blancard, Kyunghyun Cho, Miles D. Cranmer, Shirley Ho
2024 J jnl
Discovering quantum circuit components with program synthesis.
Mach. Learn. Sci. Technol.
Leopoldo Sarra, Kevin Ellis, Florian Marquardt
2024 J jnl
From Easy to Hard: Tackling Quantum Problems with Learned Gadgets For Real Hardware.
CoRR
Akash Kundu, Leopoldo Sarra
2024 A* conf
Unlocking the Power of Representations in Long-term Novelty-based Exploration.
ICLR
Alaa Saade, Steven Kapturowski, Daniele Calandriello, Charles Blundell, Pablo Sprechmann, Leopoldo Sarra, Oliver Groth, Michal Valko, Bilal Piot
2023 J jnl
Deep Bayesian Experimental Design for Quantum Many-Body Systems.
CoRR
Leopoldo Sarra, Florian Marquardt
2023 J jnl
Deep Bayesian experimental design for quantum many-body systems.
Mach. Learn. Sci. Technol.
Leopoldo Sarra, Florian Marquardt
2023 J jnl
Unlocking the Power of Representations in Long-term Novelty-based Exploration.
CoRR
Alaa Saade, Steven Kapturowski, Daniele Calandriello, Charles Blundell, Pablo Sprechmann, Leopoldo Sarra, Oliver Groth, Michal Valko, Bilal Piot
2020 J jnl
Renormalized Mutual Information for Extraction of Continuous Features.
CoRR
Leopoldo Sarra, Andrea Aiello, Florian Marquardt