TF-Bench: Evaluating Program Semantics Reasoning with Type Inference in System F. - Yifeng He; Luning Yang; Christopher Castro Gaw Gonzalo; Hao Chen (CoRR, 2025)