R2DH: use RegularizedExecutionStats instead of Generic#235
Merged
dpo merged 1 commit intoJuliaSmoothOptimizers:masterfrom Sep 29, 2025
Merged
R2DH: use RegularizedExecutionStats instead of Generic#235dpo merged 1 commit intoJuliaSmoothOptimizers:masterfrom
dpo merged 1 commit intoJuliaSmoothOptimizers:masterfrom