Make Theorem Proving Great Again!
Zhi Zhou
WNJXYK
AI & ML interests
Test-Time Adaptation, Test-Time Scaling
Recent Activity
updated
a collection
about 9 hours ago
Paper List: Test-Time Learning for LLMs
upvoted
a
paper
about 9 hours ago
Training-Free Group Relative Policy Optimization
updated
a collection
about 9 hours ago
Paper List: Automated Theorem Proving