A complex-analytic proof of square-restricted stable phase retrieval in Fock space
Cynthia Bortolotto, João P. G. Ramos
AI use, as the source states it
“The proof has been completely verified in Lean with the aid of Large Language Models.”
Named here, or see a mistake? Write to privacy@papex.org.