Beyond Pass@1: Self-Play with Variational Problem Synthesis Sustains RLVR
Paper
•
2508.14029
•
Published
•
111
Zhicheng YANG
yangzhch6
AI & ML interests
reasoning with LLMs
Recent Activity
authored
a paper
3 days ago
LogicSolver: Towards Interpretable Math Word Problem Solving with
Logical Prompt-enhanced Learning
authored
a paper
3 days ago
Process-Driven Autoformalization in Lean 4
authored
a paper
3 days ago
DQ-LoRe: Dual Queries with Low Rank Approximation Re-ranking for
In-Context Learning
Organizations
None yet
upvoted
a
paper
3 days ago