Natalie Stewart

collaborators

5 papers

cs.AI2025

FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

Elliot Glazer, Ege Erdil, Tamay Besiroglu +21

We introduce FrontierMath, a benchmark of hundreds of original, exceptionally challenging mathematics problems crafted and vetted by expert mathematicians. The questions cover most…

math.CT2025

Eckmann-Hilton arguments in equivariant higher algebra

Natalie Stewart

Let $O^{\otimes}$ and $P^{\otimes}$ be $k$ - and $ℓ$ -connected unital $G$ -operads subject to the condition for all $S$ that $O (S) = \emptyset$ if an…

math.AT2025

On tensor products with equivariant commutative operads

Natalie Stewart

We affirm and generalize a conjecture of Blumberg and Hill: unital weak $N_{\infty}$ -operads are closed under $\infty$ -categorical Boardman-Vogt tensor products and the res…

math.CT2025

Orbital categories and weak indexing systems

Natalie Stewart

We initiate the combinatorial study of the poset $wIndex_{T}$ of weak $T$ -indexing systems, consisting of composable collections of arities for $\mathc…

math.CT2025

Equivariant operads, symmetric sequences, and Boardman-Vogt tensor products

Natalie Stewart

We advance the foundational study of be Nardin-Shah's $\infty$ -category of $G$ -operads and their associated $\infty$ -categories of algebras. In particular, we construct the underly…