maoliyuan's picture

1

maoliyuan

maoliyuan

maoliyuan

AI & ML interests

None yet

Recent Activity

upvoted a paper 7 days ago

Steering Vision-Language-Action Models as Anti-Exploration: A Test-Time Scaling Approach

updated a dataset 6 months ago

maoliyuan/filtered-goedel-proofs

updated a dataset 6 months ago

maoliyuan/filtered-lean-workbook-proofs

View all activity

Organizations

None yet

models 0

None public yet

datasets 6

maoliyuan/filtered-goedel-proofs

Viewer • Updated Jun 26 • 326k • 94

maoliyuan/filtered-lean-workbook-proofs

Viewer • Updated Jun 25 • 28.6k • 78

maoliyuan/standard-lean-workbook-proofs

Viewer • Updated Jun 25 • 29.7k • 42

maoliyuan/filtered-deepseek-v1-proofs

Viewer • Updated Jun 25 • 27.4k • 27

maoliyuan/standard-goedel-proofs

Viewer • Updated Jun 24 • 368k • 67

maoliyuan/standard-deepseek-v1-proofs

Viewer • Updated Jun 24 • 27.5k • 23