FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
Paper
•
2510.02335
•
Published
•
1
AI & ML interests
Intelligent Reasoning & Planning
Recent Activity
View all activity
WNJXYK
authored
2
papers
7 days ago
WNJXYK
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
Cbphcr
updated
a
Space
5 months ago
Cbphcr
published
a
Space
5 months ago
JJJJoshuaaaa
authored
a
paper
5 months ago
Cbphcr
updated
a
dataset
5 months ago
shjj
updated
a
dataset
5 months ago
Cbphcr
updated
a
dataset
6 months ago
Cbphcr
published
a
dataset
6 months ago
Guolz
authored
5
papers
8 months ago
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
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
ChinaTravel: A Real-World Benchmark for Language Agents in Chinese Travel Planning
Paper
•
2412.13682
•
Published
•
7
Cbphcr
authored
a
paper
8 months ago
shjj
authored
a
paper
8 months ago
Cbphcr
published
a
dataset
8 months ago