Luke Bailey

LukeBailey181 's models 5

Sort:  Recently updated

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