Curie Kim

curie3170

1

·

curie3170

AI & ML interests

None yet

Organizations

None yet

models 0

None public yet

datasets 15

curie3170/GaloisSAT_phase_32_unsat

Viewer • Updated May 6 • 64 • 18

curie3170/GaloisSAT_phase_32

Viewer • Updated May 4 • 1.92k • 2

curie3170/GaloisSAT_single_thread

Viewer • Updated Apr 29 • 6 • 2

curie3170/sat_cnf_batch_1000_epochs_10_topk_0.0005_2GPU

Updated Nov 12, 2025 • 4

curie3170/sat_cnf_batch_500_epochs_10_topk_0.0005_2GPU

Updated Nov 12, 2025 • 190

curie3170/unsat_2024_2gpu_no_simplification_lowest7_bestbatch

Updated Oct 28, 2025 • 4

curie3170/sat_2024_best_batch_2GPU_topk_0.005

Viewer • Updated Oct 11, 2025 • 6 • 740

curie3170/unsat_2024_batch3000_8gpu_no_simplification_lowest7_multiassign

Updated Oct 1, 2025 • 74

curie3170/unsat_2024_batch3000_8gpu_simplified_lowest7_multiassign

Updated Sep 30, 2025 • 1

curie3170/unsat_2024_batch3000_8gpu_no_simplification_lowest7

Updated Sep 6, 2025 • 6

View 15 datasets