Luke Bailey

LukeBailey181

1

AI & ML interests

None yet

Organizations

None yet

models 5

LukeBailey181/goedel_prover_v2_8b_conjecturer_finetuned_FROM_LOCAL

Text Generation • 8B • Updated Mar 13 • 6

LukeBailey181/goedel_prover_v2_8b_conjecturer_finetuned

Text Generation • 8B • Updated Mar 13 • 3

LukeBailey181/goedel_prover_v2_8b_reviewer_finetuned_2048_num_samples

Text Generation • 8B • Updated Mar 13 • 5 •

LukeBailey181/dspv2_reviewer_finetuned_2048_num_samples

Text Generation • 7B • Updated Mar 12 • 2

LukeBailey181/vanilla_iteration_9

Text Generation • 7B • Updated Feb 2 • 5

datasets 44

LukeBailey181/minif2f_lean_from_kimina

Viewer • Updated Mar 29 • 244 • 10

LukeBailey181/goedel-sft-v2-simple-processed

Viewer • Updated Mar 3 • 1.5M • 3

LukeBailey181/godel-3k

Viewer • Updated Jan 17 • 4.32k • 19

LukeBailey181/putnambench-dataset-UPDATED

Viewer • Updated Jan 14 • 672 • 10

LukeBailey181/traind_10k

Viewer • Updated Dec 16, 2025 • 10k • 11

LukeBailey181/goedel-filtered-with-splits

Viewer • Updated Sep 3, 2025 • 686k • 14

LukeBailey181/goedal-filtered-by-possibly-provable

Viewer • Updated Sep 2, 2025 • 680k • 12

LukeBailey181/Goedel-Pset-v1-5k

Viewer • Updated Aug 31, 2025 • 4.24k • 15

LukeBailey181/putnambench-dataset

Viewer • Updated Jul 25, 2025 • 660 • 11

LukeBailey181/minif2f_proofnet_lean_workbook_deepseek_prover_sols

Viewer • Updated Jun 24, 2025 • 23.1k • 29

View 44 datasets