Hitting and Covering Affine Families of Convex Polyhedra, with Applications to Robust Optimization - Wajsbrot, Sarah

Tracking Geometric Data in the Evolving Framework - Mount, David

Foundations of and recent trends in mixed-integer programming - Hojny, Christopher

SMT solving for fun and profit - Barbosa, Haniel

Logical Algorithmics: From Relational Queries to Boolean Reasoning - Vardi, Moshe

Combinatorial Problem Solving with Serial and Nonserial Decision Diagrams - Hooker, John

Incremental Inprocessing Rules beyond Resolution - Fazekas, Katalin

Unleashing the Power of SAT Solving on 0-1 Integer Linear Programs - Koops, Wietze

SAT Solving: A fresh intro and recent developments - Nadel, Alexander

A Pseudo-Boolean Solver Interface - Vinyals, Marc

Arrays, Maps, and Vectors With Abstract Domain for SMT - Bonacina, Maria Paola

Quantified CDCL and Dependency Schemes: A proof-theoretic study - Mahajan, Meena

Proofs (that contain programs that contain proofs)* - Rebola-Pardo, Adrian

Brauer groups and stacks - Lieblich, Max

Good moduli spaces - Rydh, David

Potential density of integral points and Campana's theory of special varieties and C-pairs - Javan Peykar, Ariyan

Naive homotopical techniques in algebraic geometry - Vakil, Ravi

On Brauer groups of stacky curves - Achenjang, Niven

Brauer groups in Stein geometry - Hotchkiss, James

Stacks, orthogonal groups, and Gauss composition - Voight, John

Formal GAGA for Brauer classes - Mathur, Siddharth

Mixed Verlinde Categories - Décoppet, Thibault

Tensorial forms in small characteristics - Ganapathy, Karthik

The relationship of bicrossed products of fusion categories and extensions - Pena Pollastri, Héctor Martin

A Crystal Temperley—Lieb Category - Alqady, Moaaz

Universality for high-dimensional stochastic gradient descent - Gheissari, Reza

Sampling from spherical spin glasses: diffusions and simulated annealing - Huang, Brice

Implicit Biases in Transformers and SSMs: Distribution Shifts Can Improve Generalization - Cohen, Nadav

Two fables on anisotropic data - Loureiro, Bruno

A Toy Model for Hierarchical Feature Learning - Bruna Estratch, Joan

Understanding the mechanisms of fast hyperparameter transfer - Wu, Denny

Game theory and conflicts in coral reef symbioses - McCoy, Dakota

The challenge of choice: Evolving partner regulation in multispecies assemblages - Moeller, Holly

New Mathematical Theory in Eco-Evolutionary Modelling of Host-Symbiont Communities - Martignoni, Maria

Ecology, evolution and biogeography of plant-mycorrhizal interactions - Amarasekare, Priyanga

Moving beyond standard immune responses to include beneficial symbionts - Klassen, Jonathan

Darwin‘s blindspot: The symbiotic basis of speciation - Bordenstein, Seth

Trait-based Eco-evolutionary Theory - Klausmeier, Christopher

A Unified View of Life: Holobiont Biology in the 21st Century - Bordenstein, Seth

Bridging multiple parasite infections across scales: from co-circulation to co-infection. - Zilio, Giacomo

Mcrobiome transmission dynamics across lifetime and populations - Ferretti, Pamela

Within host and between host epidemic dynamics - Pugliese, Andrea

Interkingdom Interactions Within the Community – in Fermented Foods and Beyond - Tipton, Laura

Modeling within-host dynamics integrating viral and immune markers - Dixit, Narendra

Constraint Programming -- A Personal Perspective - Pesant, Gilles

Dynamic Symmetry Breaking in Subgraph Isomorphism and beyond? - Hoffmann, Ruth

Semi-Algebraic Proof Systems for QBF - Kasche, Lea

Root stack valuative criterion and applications - Bejleri, Dori

Rational points on stacks - Zureick-Brown, David

DHR bimodules and topological holography - Jones, Corey

Generalized Symmetries from Fusion Actions - Ng, Siu-Hung

Combinatorial criteria for the existence of abelian envelopes - Flake, Johannes

Super-transitivity for Quantum Subgroups - Edie-Michell, Cain

Absolutely flat algebras in tensor categories - Coulembier, Kevin

The tensor category for non-semisimple topological quantum computation - Kim, Sung

NIM-representations of Tambara-Yamagami extensions - McGovern, Emily

Support theories and fiber functors for tensor triangulated categories - Pevtsova, Julia

Interpolated equivariant schemes - Kriz, Sophie

A Galois action for the rest of us - Schopieray, Andrew

Duality in Monoidal Categories - Halbig, Sebastian

TBA - Krzakala, Florent

SGD dynamics for anisotropic Gaussian mixtures - Collins-Woodfin, Elizabeth

Universal and non-universal behavior in Empirical Risk Minimization - Misiakiewicz, Theodor

Local minima of the empirical risk in high dimension: beyond convexity - Saeed, Basil

Approximation of flows near target sets and two-layers neural networks training dynamics - Gerbelot, Cedric

Multi-layer cross-attention is optimal for multi-modal in-context learning - Sur, Pragya

TBA - Damian, Alex

A mechanistic framework for understanding host-associated microbiota dynamics - Litchman, Elena

Evolution of resource sharing - Koffel, Thomas

Eco-evolutionary dynamics in the microbiome: is the enemy of my enemy my friend? - Ashby, Ben

Eco-evolutionary dynamics of host-symbiont communities during range expansion - Garnier, Jimmy

Lytic/lysogenic transitions in natural systems. - Silveira, Cynthia

The Effect of Viral Predation on Community Stability at Large N - Liaghat, Armun

Identifiability in a Multiscale Vector-borne Model of Usutu Virus Infection - Murphy, Quiyana

Extended Resolution Clause Learning via Dual Implication Points - Oliveras, Albert