TY  - RPRT
TI  - An iterative rounding $2$-approximation for Feedback Vertex Set via AI-assisted proof of an extreme point property
AU  - Karthekeyan Chandrasekaran
AU  - Chandra Chekuri
AU  - Shubhang Kulkarni
PY  - 2026
UR  - https://arxiv.org/abs/2609.04414
ID  - 2609.04414
ER  -