Stephen Ge

sge-nvidia's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

New activity in nvidia/Nemotron-Math-Proofs-v1 2 months ago

The dataset fails to pass the lean4-server check.

2

#4 opened 2 months ago by

Sz1029

New activity in nvidia/Nemotron-Math-v2 3 months ago

Update README.md

1

#8 opened 3 months ago by

sge-nvidia

New activity in nvidia/Nemotron-Math-Proofs-v1 3 months ago

Update README.md

#3 opened 3 months ago by

sge-nvidia

Update README.md

1

#1 opened 3 months ago by

sge-nvidia