MathHub SGD with Vanishing Correlated Gradient Errors (technique notes)
Optimization
Original PDFPreview ↗Download ↓
InsightsPreview ↗Download ↓
All repositories
10 repositories
Hodge Classes on Abelian Sixfolds: Constructions and a Conditional Proof
Algebraic geometry
Original PDFPreview ↗Download ↓
InsightsPreview ↗Download ↓
Constructive Characterizations and New Families of van Dantzig Pairs
Probability
Original PDFPreview ↗Download ↓
InsightsPreview ↗Download ↓
Complex-Corrected Stochastic Gradient Descent for Noisy Observations
Optimization
Original PDFPreview ↗Download ↓
InsightsPreview ↗Download ↓
An identity that survives every revision
Elementary algebra
OriginalPreview ↗Download ↓
InsightsPreview ↗Download ↓
A question about interfaces, not an unproved theorem
Mathematical infrastructure
OriginalPreview ↗Download ↓
InsightsPreview ↗Download ↓
Can shorter takeaways improve mathematical reuse?
Mathematical infrastructure
OriginalPreview ↗Download ↓
InsightsPreview ↗Download ↓
A minimal experiment in open mathematical publishing
Formal methods
OriginalPreview ↗Download ↓
InsightsPreview ↗Download ↓
From a short proof to a reusable insight
Logic
OriginalPreview ↗Download ↓
InsightsPreview ↗Download ↓
Why strict inequality needs a hypothesis
Order theory
OriginalPreview ↗Download ↓
InsightsPreview ↗Download ↓