◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Yinya Huang

ETH Zürich

33 papers hereh-index 16866 citations41 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • first author6
  • middle author26

Across the 32 of 33 papers where every author was matched, so the position is known.

fields
  • cs.AI13
  • cs.CL12
  • cs.LG4
  • cs.IR2
  • cs.CV1
  • cs.LO1
affiliations
  • ETH Zürich
Homepage

identity via Semantic Scholar / OpenAlex

activity
20202026
most citedLEGO-Prover: Neural Theorem Proving with Growing Libraries

9 citations · 30 across the 30 of their papers we have counts for

collaborators
Showing cs.LGShow all

4 papers · 1 filter

cs.LG2025

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

Zhicheng Yang, Zhijiang Guo, Yinya Huang +4

Test-time scaling via solution sampling and aggregation has become a key paradigm for improving the reasoning performance of Large Language Models (LLMs). While reward model select…

cs.LG2025

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

Zhicheng Yang, Zhijiang Guo, Yinya Huang +6

Reinforcement Learning with Verifiable Reward (RLVR) is a powerful method for enhancing the reasoning abilities of Large Language Models, but its full potential is limited by a lac…

cs.LG2025

TreeRPO: Tree Relative Policy Optimization

Zhicheng Yang, Zhijiang Guo, Yinya Huang +3

Large Language Models (LLMs) have shown remarkable reasoning capabilities through Reinforcement Learning with Verifiable Rewards (RLVR) methods. However, a key limitation of existi…

cs.LG2024★ 1 cited

OptiBench Meets ReSocratic: Measure and Improve LLMs for Optimization Modeling

Zhicheng Yang, Yiwei Wang, Yinya Huang +7

Large language models (LLMs) have exhibited their problem-solving abilities in mathematical reasoning. Solving realistic optimization (OPT) problems in application scenarios requir…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.