2025
Evaluating Program Semantics Reasoning with Type Inference in System $F$
NeurIPS 2025poster
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…