Tim Wong

tcwong

AI & ML interests

None yet

Organizations

None yet

tcwong 's models 11

tcwong/byt5_small_by_file

Updated Sep 9, 2024 • 1

tcwong/reprover_proving_random

Updated Sep 9, 2024

tcwong/byt5_small_random

Updated Sep 9, 2024 • 1

tcwong/reprover_by_file

Updated Sep 9, 2024 • 2

tcwong/reprover_err_random

Updated Sep 9, 2024 • 2

tcwong/deepseek_prover_sft_no_err_by_file

Updated Sep 9, 2024 • 3

tcwong/deepseek_prover_sft_proving

Updated Sep 9, 2024 • 1

tcwong/deepseek_prover_base_no_err

Updated Sep 9, 2024 • 1

tcwong/deepseek_prover_base_no_err_random

Updated Sep 9, 2024 • 2

tcwong/reprover_random

Updated Sep 9, 2024 • 1

tcwong/deepseek_prover_sft_no_err_random

Updated Sep 8, 2024