Rodolfo R. Soldati

Orcid: 0000-0002-1446-1276

According to our database¹, Rodolfo R. Soldati authored at least 1 paper in 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

A Formalization of the Generalized Quantum Stein's Lemma in Lean.

[DOI]

CoRR, October, 2025