Leopoldo Sarra

Identifiers

• name variant Leopoldo Sarra 0.50 · backfill

Papers (3)

1. A Minimal Agent for Automated Theorem Proving cs.AI · 2026 · author #5
2. Study of longitudinal fluctuations of the Sherrington-Kirkpatrick model cond-mat.dis-nn · 2018 · author #2
3. Experimental device-independent tests of quantum channels quant-ph · 2018 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Austin Letson 1 shared papers
• Borja Requena 1 shared papers
• Davide Poderini 1 shared papers
• Fabio Sciarrino 1 shared papers
• Francesco Buscemi 1 shared papers
• Giorgio Parisi 1 shared papers
• Gonzalo Carvacho 1 shared papers
• Iris Agresti 1 shared papers
• Izan Beltran-Ferreiro 1 shared papers
• Krystian Nowakowski 1 shared papers
• Lorenzo Talamanca 1 shared papers
• Michele Dall'Arno 1 shared papers
• Rafael Chaves 1 shared papers