Flood Sung's picture

1 1 15

Flood Sung

floodsung

·

AI & ML interests

None yet

Recent Activity

liked a model about 13 hours ago

AI-MO/Kimina-Autoformalizer-7B

liked a dataset about 13 hours ago

AI-MO/minif2f_test

liked a model about 13 hours ago

AI-MO/Kimina-Prover-Preview-Distill-1.5B

View all activity

Organizations

None yet

Papers 2

arxiv:2504.07491

arxiv:2501.12599

models

None public yet

datasets

None public yet