FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Paper
•
2510.02335
•
Published
•
1
Zhi Zhou
WNJXYK
AI & ML interests
Test-Time Adaptation, Test-Time Scaling
Recent Activity
updated
a collection
1 day ago
[Paper List] Test-Time Learning for LLMs
upvoted
a
paper
1 day ago
Training-Free Group Relative Policy Optimization
updated
a collection
1 day ago
[Paper List] Automated Theorem Proving
Organizations
authored
2
papers
3 days ago
authored
3
papers
about 2 months ago
You Only Submit One Image to Find the Most Suitable Generative Model
Paper
•
2412.12232
•
Published
•
1
TabFSBench: Tabular Benchmark for Feature Shifts in Open Environments
Paper
•
2501.18935
•
Published
VC Search: Bridging the Gap Between Well-Defined and Ill-Defined Problems in Mathematical Reasoning
Paper
•
2406.05055
•
Published
•
1
authored
5
papers
8 months ago
Bridging Internal Probability and Self-Consistency for Effective and Efficient LLM Reasoning
Paper
•
2502.00511
•
Published
•
12
LawGPT: Knowledge-Guided Data Generation and Its Application to Legal LLM
Paper
•
2502.06572
•
Published
•
1
LawGPT: A Chinese Legal Knowledge-Enhanced Large Language Model
Paper
•
2406.04614
•
Published
•
2
USB: A Unified Semi-supervised Learning Benchmark for Classification
Paper
•
2208.07204
•
Published
Step Back to Leap Forward: Self-Backtracking for Boosting Reasoning of Language Models
Paper
•
2502.04404
•
Published
•
25