Leopoldo Sarra

According to our database, Leopoldo Sarra authored at least 11 papers between 2020 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SorryDB: Can AI Provers Complete Real-World Lean Theorems?

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

CoRR, March, 2026

A Minimal Agent for Automated Theorem Proving.

Borja Requena Pozo, Austin Letson, Krystian Nowakowski, Izan Beltran Ferreiro, Leopoldo Sarra

CoRR, February, 2026

2025

Universal Spectral Tokenization via Self-Supervised Panchromatic Representation Learning.

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

CoRR, October, 2025

Joint Embeddings Go Temporal.

Sofiane Ennadir, Siavash Golkar, Leopoldo Sarra

CoRR, September, 2025

AION-1: Omnimodal Foundation Model for Astronomical Sciences.

Liam Holden Parker, François Lanusse, Jeff Shen, Ollie Liu, Tom Hehir, Leopoldo Sarra, Lucas Meyer, Micah Bowles, Sebastian Wagner-Carena, Helen Qu, Siavash Golkar, Alberto Bietti, Hatim Bourfoune, Pierre Cornette, Keiya Hirashima, Géraud Krawezik, Ruben Ohana, Nicholas Lourie, Michael McCabe, Rudy Morel, Payel Mukhopadhyay, Mariel Pettee, Kyunghyun Cho, Miles D. Cranmer, Shirley Ho

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2025, 2025

2024

Discovering quantum circuit components with program synthesis.

Leopoldo Sarra, Kevin Ellis, Florian Marquardt

Mach. Learn. Sci. Technol., 2024

From Easy to Hard: Tackling Quantum Problems with Learned Gadgets For Real Hardware.

Akash Kundu, Leopoldo Sarra

CoRR, 2024

Unlocking the Power of Representations in Long-term Novelty-based Exploration.

Alaa Saade, Steven Kapturowski, Daniele Calandriello, Charles Blundell, Pablo Sprechmann, Leopoldo Sarra, Oliver Groth, Michal Valko, Bilal Piot

Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023

Deep Bayesian experimental design for quantum many-body systems.

Leopoldo Sarra, Florian Marquardt

Mach. Learn. Sci. Technol., December, 2023

Deep Bayesian Experimental Design for Quantum Many-Body Systems.

Leopoldo Sarra, Florian Marquardt

CoRR, 2023

2020

Renormalized Mutual Information for Extraction of Continuous Features.

Leopoldo Sarra, Andrea Aiello, Florian Marquardt

CoRR, 2020