Full Professor, Case Western Reserve University
3 papers at NeurIPS 2025
uncovering the Role of Long-Context Ability in Reasoning Training
SCFG-based framework characterizes uncertainty in LLM formal reasoning, enabling selective verification that reduces errors while minimally abstaining.