Sean Lamont

sean-lamont

·

sean-lamont

AI & ML interests

None yet

Organizations

None yet

sean-lamont 's datasets 5

sean-lamont/repairllama_preprocessed

Viewer • Updated Nov 7, 2025 • 31.2k • 18

sean-lamont/bait_mongodb

Updated Aug 26, 2024 • 12

sean-lamont/reprover_predictions

Updated Jun 18, 2024 • 11

sean-lamont/leandojo-trace-caches

Updated May 16, 2024 • 17

sean-lamont/leandojo_traces

Updated Apr 18, 2024 • 38