Yifeng He

1
Papers
1
Total Citations

Papers (1)

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

NeurIPS 2025
1
citations