TY  - RPRT
TI  - Sparse coloring for isosceles-free grids: an AI-assisted proof case study
AU  - Yukai Song
PY  - 2026
UR  - https://arxiv.org/abs/2610.04194
ID  - 2610.04194
ER  -