2 papers
cs.LG2026
Invariant Pretraining for Robust Code Representations
Yifeng He, Yundi Xu, Christopher Castro Gaw Gonzalo +2
Encoder-based code representation models remain widely deployed for discriminative tasks such as clone detection and code classification, where their small size and low inference c…
cs.CL2025
Evaluating Program Semantics Reasoning with Type Inference in System F
Yifeng He, Luning Yang, Christopher Castro Gaw Gonzalo +1
Large Language Models (LLMs) are increasingly integrated into the software engineering ecosystem. Their test-time compute (TTC) reasoning capabilities show significant potential fo…