Christopher Castro Gaw Gonzalo

Evaluating Program Semantics Reasoning with Type Inference in System $F$

Large Language Models (LLMs) are increasingly integrated into the software engineering ecosystem. Their test-time compute reasoning capabilities promise significant potential in understanding program logic and semantics beyond mere token recognition. However, current benchmarks evaluating reasoning…