FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Paper • 2510.02335 • Published • 2
Zhi Zhou
WNJXYK
AI & ML interests
Test-Time Adaptation, Test-Time Scaling, Test-Time Learning
Recent Activity
updated a dataset about 4 hours ago
WNJXYK/TTA-CIFAR-10-C published a dataset about 4 hours ago
WNJXYK/TTA-CIFAR-10-C updated a model about 12 hours ago
WNJXYK/TTA-CIFAR-10-AugMix-WRN40Organizations
authored 2
papers 6 months ago
authored 3
papers 8 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 about 1 year 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