2 papers
math.CO2026
Kazhdan-Lusztig polynomials of matroids need not be unimodal
Ronnie Cheng, Shurui Liu
We construct, over every finite field, representable matroids whose Kazhdan-Lusztig polynomials are not unimodal. In particular, the conjectures that all Kazhdan-Lusztig polynomial…
cs.AI2026
Danus: Orchestrating Mathematical Reasoning Agents with Fact-Graph Memory
Jihao Liu, Guoxiong Gao, Zeming Sun +8
Recent LLM-based mathematical reasoning agents have begun to tackle research-level problems and, in several cases, have contributed to the resolution of open problems. However, sca…