Replace reduced SAM proxy with exact Theorem 7 construction

Update logbook: Repro - Flat Minima and Generalization: Insights from Stochastic Convex Optimization

Update logbook: Repro - Flat Minima and Generalization: Insights from Stochastic Convex Optimization

Update logbook: Repro - Flat Minima and Generalization: Insights from Stochastic Convex Optimization

initial commit