Natalie Stewart

activity

20242026

most citedFrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI

9 citations · 9 across the 5 of their papers we have counts for

collaborators

6 papers

math.AT2026

Normed idempotence of spectra and distributivity in equivariant higher algebra

Kaif Hilman, Branko Juran, Natalie Stewart

We introduce and develop the theory of distributivity for base categories equipped with so-called atomic orbital subcategories, with an eye towards applications in equivariant homo…

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

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…

cs.AI2024★ 9 cited

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.CT2024

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…