Make Theorem Proving Great Again!
Zhi Zhou
WNJXYK
AI & ML interests
Test-Time Adaptation, Test-Time Scaling, Test-Time Learning
Recent Activity
upvoted a paper about 1 hour ago
OpenClaw-RL: Train Any Agent Simply by Talking updated
a collection
4 months ago
📝 [Paper List] Test-Time Learning for LLMs commented on
a paper
4 months ago
Reasoning with Sampling: Your Base Model is Smarter Than You Think Organizations
-
Training-Free Group Relative Policy Optimization
Paper • 2510.08191 • Published • 45 -
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
Paper • 2510.15444 • Published • 148 -
Reasoning with Sampling: Your Base Model is Smarter Than You Think
Paper • 2510.14901 • Published • 48 -
WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
Paper • 2504.15785 • Published • 22
Make Theorem Proving Great Again!
-
Training-Free Group Relative Policy Optimization
Paper • 2510.08191 • Published • 45 -
A Theoretical Study on Bridging Internal Probability and Self-Consistency for LLM Reasoning
Paper • 2510.15444 • Published • 148 -
Reasoning with Sampling: Your Base Model is Smarter Than You Think
Paper • 2510.14901 • Published • 48 -
WALL-E 2.0: World Alignment by NeuroSymbolic Learning improves World Model-based LLM Agents
Paper • 2504.15785 • Published • 22
Sampled Reasoning Paths for NeurIPS 2025 Paper: A Theoretical Study on
Bridging Internal Probability and Self-Consistency for LLM Reasoning