Max Zimmer

RECON: Robust symmetry discovery via Explicit Canonical Orientation Normalization

SparseSwaps: Tractable LLM Pruning Mask Refinement at Scale

Neural Sum-of-Squares: Certifying the Nonnegativity of Polynomials with Transformers

ECHOSAT: Estimating Canopy Height Over Space And Time

A Free Lunch in LLM Compression: Revisiting Retraining after Pruning

Don't Be Greedy, Just Relax! Pruning of LLMs via Frank-Wolfe

Neural Discovery in Mathematics: Do Machines Dream of Colored Planes?

Capturing Temporal Dynamics in Large-Scale Canopy Tree Height Estimation

DUNIA: Pixel-Sized Embeddings via Cross-Modal Alignment for Earth Observation Applications

Computational Algebra with Attention: Transformer Oracles for Border Basis Algorithms

On the Byzantine-Resilience of Distillation-Based Federated Learning

Approximating Latent Manifolds in Neural Networks via Vanishing Ideals