Browsing 2026's Items (75)
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