Ujan PRO

Ujan's activity

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

updated a dataset about 9 hours ago

Ujan/gsm8k_formal_Qwen3-4B-Thinking-2507

Viewer • Updated about 9 hours ago • 1.31k

published a dataset about 9 hours ago

Ujan/gsm8k_formal_Qwen3-4B-Thinking-2507

Viewer • Updated about 9 hours ago • 1.31k

updated a collection about 16 hours ago

Formal v2

Collection

Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models • 4 items • Updated about 16 hours ago

updated a dataset about 18 hours ago

Ujan/math500_formal_prover

Viewer • Updated about 18 hours ago • 234 • 4

published a dataset about 18 hours ago

Ujan/math500_formal_prover

Viewer • Updated about 18 hours ago • 234 • 4

updated a collection 1 day ago

Formal v2

Collection

Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models • 4 items • Updated about 16 hours ago

updated a dataset 1 day ago

Ujan/gsm8k_formal_prover

Viewer • Updated 1 day ago • 1.15k • 6

published a dataset 1 day ago

Ujan/gsm8k_formal_prover

Viewer • Updated 1 day ago • 1.15k • 6

updated a collection 1 day ago

Formal v2

Collection

Auto-formalized versions of GSM8K and MATH500 auto-formalized and filtered with Goedel models • 4 items • Updated about 16 hours ago

updated a dataset 1 day ago

Ujan/math500_formal

Viewer • Updated 1 day ago • 456 • 10

published a dataset 1 day ago

Ujan/math500_formal

Viewer • Updated 1 day ago • 456 • 10

updated a dataset 2 days ago

Ujan/gsm8k_formal

Viewer • Updated 2 days ago • 1.3k • 5

published a dataset 2 days ago

Ujan/gsm8k_formal

Viewer • Updated 2 days ago • 1.3k • 5

updated a collection 2 days ago

Formal v1

Collection

Auto-formalized versions of GSM8K with the state-of-the-art Goedel-Prover-V2 and filtered using Deepseek-Prover-V2 • 6 items • Updated 1 day ago