Blog | Jinze Zhao

17 min read

A Stationary First-Order Method with a Simplex Cycle

28 min read

A proof of the increasing-cost Cookie Clicker hardness conjecture

25 min read

Domino Fit as Constrained Perfect Matching

108 min read

Mathematical Discovery with Frontier Language Models: Progress, Practice, and Counterexample Search

Constant Steps Are s-Composable: An Exact Interpolation Certificate for Gradient Descent

Small-Ball Marginals Do Not Control Restricted Eigenvalues by Euclidean Gaussian Width

Predicting Diagonalizability of a Mean Matrix

From Approachability Residuals to Anytime-Valid Evidence: The Online Convex Geometry of Testing by Betting

Pyramidal Width Can Increase Under Vertex Insertion

CrossEAI: Using Explainable AI to generate better bounding boxes for Chest X-ray images