1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.AI2026
First Proof Second Batch
Mohammed Abouzaid, Nikhil Srivastava, Rachel Ward +1
To assess the ability of current AI systems to correctly solve research-level mathematics problems, we tested several AI systems on a set of ten problems in a broad range of mathem…
math.CO2024★ 1 cited
The inhomogeneous -PushTASEP and Macdonald polynomials
Arvind Ayyer, James Martin, Lauren Williams
We study a multispecies -PushTASEP system on a finite ring of sites with site-dependent rates . Let be a partition whose parts represent t…
math.CO2023
Rhombic staircase tableaux and Koornwinder polynomials
Sylvie Corteel, Olya Mandelshtam, Lauren Williams
In this article we give a combinatorial formula for a certain class of Koornwinder polynomials, also known as Macdonald polynomials of type . In particular, we give a co…