DanielJeongsooLee/seal-5comp-e1-final-best-checkpoints-20260929
Updated
Jeongsoo Lee
DanielJeongsooLee
AI & ML interests
None yet
Recent Activity
updated a dataset 4 days ago
DanielJeongsooLee/VeriReason-Luna-Medium-16K published a dataset 4 days ago
DanielJeongsooLee/VeriReason-Luna-Medium-16K updated a model 6 days ago
DanielJeongsooLee/seal-5comp-e1-final-best-checkpoints-20260929Organizations
None yet
models 30
DanielJeongsooLee/seal-5comp-e1-k500-validation-best-20260929
Updated
DanielJeongsooLee/seal-circuit-paper-checkpoints
Updated
DanielJeongsooLee/seal-single-duty-models
Updated
DanielJeongsooLee/gtn-base-v6.0
Updated
DanielJeongsooLee/gfn-v5
Other • Updated
DanielJeongsooLee/gtn-base-v5
Updated
DanielJeongsooLee/gtn-base-v4
Updated
DanielJeongsooLee/gtn-base-v3
Tabular Regression • Updated
DanielJeongsooLee/adaptive-msc-v27
Updated
datasets 6
DanielJeongsooLee/VeriReason-Luna-Medium-16K
Viewer • Updated • 16.1k • 44
DanielJeongsooLee/seal-5comp-d9-20260923
Viewer • Updated • 269k • 56
DanielJeongsooLee/seal-single-duty-data
Viewer • Updated • 39.2k • 14
DanielJeongsooLee/adaptive-msc-v9_10_11
Viewer • Updated • 99.9k • 90
DanielJeongsooLee/adaptive-msc
Updated • 97
DanielJeongsooLee/adaptive-msc-v7-artifacts
Updated • 50