Yinya Huang
- Papers
- 9
Cite
Notes
Only stored in your browser.
Authored papers
9SeePhys Pro: Diagnosing Modality Transfer and Blind-Training Effects in Multimodal RLVR for Physics Reasoning
arXiv 2026
SeePhys: Does Seeing Help Thinking? -- Benchmarking Vision-Based Physics Reasoning
arXiv 2025
TreeRPO: Tree Relative Policy Optimization
arXiv 2025
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving
arXiv 2024
MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
arXiv 2024
Process-Driven Autoformalization in Lean 4
arXiv 2024
OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling
arXiv 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
arXiv 2023
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
arXiv 2023
Affiliations
Frequent co-authors
10from 9 papers