Prefer a chat interface with context about you and your work?
The smallest singular value of heavy-tailed not necessarily i.i.d. random matrices via random rounding