Luke Bailey

LukeBailey181

1

AI & ML interests

None yet

Organizations

None yet

LukeBailey181 's datasets 44

LukeBailey181/minif2f_lean_from_kimina

Viewer • Updated Mar 29 • 244 • 9

LukeBailey181/goedel-sft-v2-simple-processed

Viewer • Updated Mar 3 • 1.5M • 2

LukeBailey181/godel-3k

Viewer • Updated Jan 17 • 4.32k • 18

LukeBailey181/putnambench-dataset-UPDATED

Viewer • Updated Jan 14 • 672 • 9

LukeBailey181/traind_10k

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

LukeBailey181/goedel-filtered-with-splits

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

LukeBailey181/goedal-filtered-by-possibly-provable

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

LukeBailey181/Goedel-Pset-v1-5k

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

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 • 28

LukeBailey181/minif2f_proofnet_deepseek_prover_sols

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

LukeBailey181/TrainingRound47MultimodalConjectureDataset

Viewer • Updated Jun 3, 2025 • 17.3k • 7

LukeBailey181/Round47MultimodalConjectureDataset_stp_round_47

Viewer • Updated Jun 2, 2025 • 48.1k • 8

LukeBailey181/Round47MultimodalConjectureDataset_stp_round_47_random

Viewer • Updated Jun 2, 2025 • 48.1k • 21

LukeBailey181/Round47MultimodalConjectureDataset_goedal

Viewer • Updated Jun 1, 2025 • 60 • 5

LukeBailey181/Round47MultimodalConjectureDataset_stp_round_47_scramble

Viewer • Updated Jun 1, 2025 • 48.1k • 7

LukeBailey181/Round47MultimodalConjectureDataset

Viewer • Updated May 31, 2025 • 359k • 11

LukeBailey181/DeepseekProverV2

Viewer • Updated May 30, 2025 • 439 • 12

LukeBailey181/ReviewerProofnetValidTarget

Viewer • Updated May 29, 2025 • 11.8k • 4

LukeBailey181/ProofnetTargetSet

Viewer • Updated May 29, 2025 • 371 • 31

LukeBailey181/proofnet_lean

Viewer • Updated May 29, 2025 • 371 • 32

LukeBailey181/STPRoundUpTo12HeuristicDataset

Viewer • Updated May 28, 2025 • 35.6k • 29

LukeBailey181/STPRound12HeuristicDataset

Viewer • Updated May 28, 2025 • 19.4k • 8

LukeBailey181/STPRound11HeuristicDatasetDSPv2CORRECT

Viewer • Updated May 28, 2025 • 35.4k • 6

LukeBailey181/STPRound12HeuristicDatasetEmbedOnly

Viewer • Updated May 27, 2025 • 12.9k • 7

LukeBailey181/STPRoundUpTo12HeuristicDatasetEmbedOnly

Viewer • Updated May 27, 2025 • 23.7k • 14

LukeBailey181/STPRound11HeuristicDatasetDSPv2CORRECTEmbedOnly

Viewer • Updated May 27, 2025 • 23.6k • 19

LukeBailey181/STPRoundUpTo12ValidationSet

Viewer • Updated May 27, 2025 • 111k • 7

LukeBailey181/DeepseekProverV2ValidationFullNoComments

Viewer • Updated May 26, 2025 • 269 • 9

LukeBailey181/DeepseekProverV2ValidationFull

Viewer • Updated May 24, 2025 • 269 • 7