Yinya Huang

LEXam: Benchmarking Legal Reasoning on 340 Law Exams

CauSciBench: A Comprehensive Benchmark on End-to-End Causal Inference for Scientific Research

Depth-Breadth Synergy in RLVR: Unlocking LLM Reasoning Gains with Adaptive Exploration

Critique to Verify: Accurate and Honest Test-Time Scaling with RL-Trained Verifiers

TreeRPO: Tree Relative Policy Optimization

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

FormalAlign: Automated Alignment Evaluation for Autoformalization

Process-Driven Autoformalization in Lean 4