Evaluating Program Semantics Reasoning with Type Inference in System F - He, Yifeng; Yang, Luning; Gonzalo, Christopher; Chen, Hao (Advances in Neural Information Processing Systems, 2025)