Sz's picture

1 2

Sz

Sz1029

·

AI & ML interests

None yet

Recent Activity

liked a dataset 21 days ago

nvidia/Nemotron-Math-Proofs-v1

new activity 21 days ago

nvidia/Nemotron-Math-Proofs-v1:The dataset fails to pass the lean4-server check.

liked a model 5 months ago

baidu/ERNIE-4.5-21B-A3B-Thinking

View all activity

Organizations

None yet

liked a dataset 21 days ago

nvidia/Nemotron-Math-Proofs-v1

Viewer • Updated 29 days ago • 925k • 687 • 101

New activity in nvidia/Nemotron-Math-Proofs-v1 21 days ago

The dataset fails to pass the lean4-server check.

#4 opened 21 days ago by

liked a model 5 months ago

baidu/ERNIE-4.5-21B-A3B-Thinking

Text Generation • 22B • Updated Nov 26, 2025 • 332 • • 772