Make Theorem Proving Great Again!
Zhi Zhou
WNJXYK
AI & ML interests
Test-Time Adaptation, Test-Time Scaling, Test-Time Learning
Recent Activity
updated
a collection
6 days ago
📝 [Paper List] Test-Time Learning for LLMs
commented on
a paper
6 days ago
Reasoning with Sampling: Your Base Model is Smarter Than You Think
liked
a Space
10 days ago
librarian-bots/recommend_similar_papers
Organizations
-
Training-Free Group Relative Policy Optimization
Paper • 2510.08191 • Published • 44 -
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
Paper • 2510.15444 • Published • 144 -
Reasoning with Sampling: Your Base Model is Smarter Than You Think
Paper • 2510.14901 • Published • 45 -
WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
Paper • 2504.15785 • Published • 20
Make Theorem Proving Great Again!
-
Training-Free Group Relative Policy Optimization
Paper • 2510.08191 • Published • 44 -
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
Paper • 2510.15444 • Published • 144 -
Reasoning with Sampling: Your Base Model is Smarter Than You Think
Paper • 2510.14901 • Published • 45 -
WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
Paper • 2504.15785 • Published • 20
datasets
6
WNJXYK/MATH-Reasoning-Paths
Updated
•
384
•
30
WNJXYK/OlympiadBench-Reasoning-Paths
Updated
•
316
•
16
WNJXYK/AIME_1983_2024-Reasoning-Paths
Updated
•
369
•
16
WNJXYK/MathOdyssey-Reasoning-Paths
Updated
•
540
•
20
WNJXYK/LawQA
Viewer
•
Updated
•
96.7k
•
380
•
14
WNJXYK/LawBench_Results
Preview
•
Updated
•
9