Ujan

Ujan's activity

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

updated a dataset about 4 hours ago

Ujan/gsm8k_formal_goedel_few_shot_filtered_DeepSeek-Prover-V2-7B

Viewer • Updated about 4 hours ago • 1.04k

published a dataset about 4 hours ago

Ujan/gsm8k_formal_goedel_few_shot_filtered_DeepSeek-Prover-V2-7B

Viewer • Updated about 4 hours ago • 1.04k

updated a dataset 1 day ago

Ujan/gsm8k_formal_goedel_zero_shot

Viewer • Updated 1 day ago • 1.31k • 7

published a dataset 1 day ago

Ujan/gsm8k_formal_goedel_zero_shot

Viewer • Updated 1 day ago • 1.31k • 7

updated a dataset 1 day ago

Ujan/gsm8k_formal_goedel_few_shot

Viewer • Updated 1 day ago • 1.3k • 19

published a dataset 1 day ago

Ujan/gsm8k_formal_goedel_few_shot

Viewer • Updated 1 day ago • 1.3k • 19

updated a dataset 14 days ago

Ujan/prm800k_goedel_form_few_shot_v2

Viewer • Updated 14 days ago • 7 • 17

published a dataset 14 days ago

Ujan/prm800k_goedel_form_few_shot_v2

Viewer • Updated 14 days ago • 7 • 17

updated a dataset 14 days ago

Ujan/prm800k_goedel_form_v2

Viewer • Updated 14 days ago • 60.5k • 20

published a dataset 14 days ago

Ujan/prm800k_goedel_form_v2

Viewer • Updated 14 days ago • 60.5k • 20

updated a dataset 18 days ago

Ujan/prm800k_goedel_form_few_shot

Viewer • Updated 18 days ago • 9 • 14

published a dataset 18 days ago

Ujan/prm800k_goedel_form_few_shot

Viewer • Updated 18 days ago • 9 • 14

updated a dataset 18 days ago

Ujan/prm800k_few_shot_data

Viewer • Updated 18 days ago • 728 • 24

published a dataset 18 days ago

Ujan/prm800k_few_shot_data

Viewer • Updated 18 days ago • 728 • 24

updated a dataset 18 days ago

Ujan/prm800k_goedel_form

Viewer • Updated 18 days ago • 59.6k • 20

published a dataset 18 days ago

Ujan/prm800k_goedel_form

Viewer • Updated 18 days ago • 59.6k • 20

updated a dataset 23 days ago

Ujan/prm800k_phase2_no_geom_processed

Viewer • Updated 23 days ago • 74.5k • 21

published a dataset 23 days ago

Ujan/prm800k_phase2_no_geom_processed

Viewer • Updated 23 days ago • 74.5k • 21

updated a dataset 28 days ago

Ujan/prm800k_phase2_no_geom

Viewer • Updated 28 days ago • 74.5k • 44

published a dataset 28 days ago

Ujan/prm800k_phase2_no_geom

Viewer • Updated 28 days ago • 74.5k • 44