Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
Tim Wong's picture

Tim Wong

tcwong

AI & ML interests

None yet

Organizations

None yet

Collections 1

proof-repair-LLM-Lean4
  • tcwong/reprover_err_random

    Updated Sep 9, 2024 • 2
  • tcwong/reprover_by_file

    Updated Sep 9, 2024 • 2
  • tcwong/reprover_random

    Updated Sep 9, 2024 • 2
  • tcwong/reprover_proving_random

    Updated Sep 9, 2024 • 2
proof-repair-LLM-Lean4
  • tcwong/reprover_err_random

    Updated Sep 9, 2024 • 2
  • tcwong/reprover_by_file

    Updated Sep 9, 2024 • 2
  • tcwong/reprover_random

    Updated Sep 9, 2024 • 2
  • tcwong/reprover_proving_random

    Updated Sep 9, 2024 • 2

models 11

tcwong/byt5_small_by_file

Updated Sep 9, 2024 • 3

tcwong/reprover_proving_random

Updated Sep 9, 2024 • 2

tcwong/byt5_small_random

Updated Sep 9, 2024 • 3

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 • 2

tcwong/deepseek_prover_sft_proving

Updated Sep 9, 2024 • 2

tcwong/deepseek_prover_base_no_err

Updated Sep 9, 2024 • 2

tcwong/deepseek_prover_base_no_err_random

Updated Sep 9, 2024 • 4

tcwong/reprover_random

Updated Sep 9, 2024 • 2
View 11 models

datasets 0

None public yet
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs