Scholar
Pengyuan Wang
Google Scholar ID: uTxfOm0AAAAJ
Nanjing University
Reinforcement Learning
Large Language Model
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
112
H-index
5
i10-index
3
Publications
12
Co-authors
0
Contact
No contact links provided.
Publications
1 items
Efficient Test-Time Optimization for Multi-Agent Proof Autoformalization
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
