2 papers
cs.LO2026
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Rongge Xu, Hui Dai, Yiming Fu +5
While large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, current benchmarks fail to adequately measure library-grounded abstraction -…
cond-mat.str-el2025
2-Morita Equivalent Condensable Algebras and Domain Walls in 2+1D Topological Orders
Rongge Xu, Holiverse Yang
We classify condensable algebras in a modular tensor category up to 2-Morita equivalence. From a physical perspective, this is equivalent to providing a criteri…