curie3170/GaloisSAT_phase_32_unsat
Viewer • Updated • 64 • 18
Curie Kim
curie3170
AI & ML interests
None yet
Organizations
None yet
curie3170/GaloisSAT_phase_32
Viewer • Updated • 1.92k • 2
curie3170/GaloisSAT_single_thread
Viewer • Updated • 6 • 2
curie3170/sat_cnf_batch_1000_epochs_10_topk_0.0005_2GPU
Updated • 4
curie3170/sat_cnf_batch_500_epochs_10_topk_0.0005_2GPU
Updated • 190
curie3170/unsat_2024_2gpu_no_simplification_lowest7_bestbatch
Updated • 4
curie3170/sat_2024_best_batch_2GPU_topk_0.005
Viewer • Updated • 6 • 724
curie3170/unsat_2024_batch3000_8gpu_no_simplification_lowest7_multiassign
Updated • 112
curie3170/unsat_2024_batch3000_8gpu_simplified_lowest7_multiassign
Updated • 1
curie3170/unsat_2024_batch3000_8gpu_no_simplification_lowest7
Updated • 6
curie3170/sat_cnf_batch_500_epochs_20_topk_0.005_2GPU
Viewer • Updated • 6 • 204
curie3170/unsat_cnf_ready_for_gpu
Updated • 9
curie3170/sat_cnf_autobatch_assumptions_topk_0.005_5SAT
Viewer • Updated • 6 • 808
curie3170/sat_cnf_autobatch_assumptions_topk_0.005_4SAT
Viewer • Updated • 6 • 51
curie3170/sat_cnf_autobatch_assumptions_topk_0.005
Viewer • Updated • 6 • 1.16k • 1