gxxOL0iXpr / logbook.json

Commit History

Falsify literal Lemma 6.1 bounds with exact Gaussian family
9a05399
verified

DineshAI commited on

Update logbook: Repro - Dimension-Independent Convergence of Underdamped Langevin Monte Carlo
ece7b49
verified

DineshAI commited on