most citedTorchLean: Formalizing Neural Networks in Lean

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cond-mat.str-elShow all

1 paper · 1 filter

cond-mat.str-el2026

Toward the Thermodynamic Limit: Neural Operators for Non-equilibrium Dynamics of Mott Insulators

Miles Waugh, Chuwei Wang, Radu Andrei +4

Mott insulators exhibit complex photoexcitation dynamics under intense optical driving, with potential implications for carrier multiplication beyond the Shockley-Queisser limit. P…