arxiv:2505.19099
Yinya Eleanor Huang
yinyahuang
ยท
AI & ML interests
LLM, NLP, complex reasoning, theorem proving
Recent Activity
upvoted
a
paper
7 days ago
Beyond Pass@1: Self-Play with Variational Problem Synthesis Sustains
RLVR
authored
a paper
3 months ago
FVEL: Interactive Formal Verification Environment with Large Language
Models via Theorem Proving
authored
a paper
3 months ago
Process-Driven Autoformalization in Lean 4
Organizations
models
0
None public yet
datasets
0
None public yet