Jui-Hui Chung

juihuichung's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

published 2 datasets about 1 month ago

juihuichung/awakening-proofnet-runs

Preview • Updated Aug 17 • 60

juihuichung/awakening-leansearch-v4.9.0

Viewer • Updated Aug 17 • 1 • 22

updated 2 datasets about 1 month ago

juihuichung/awakening-leansearch-v4.9.0

Viewer • Updated Aug 17 • 1 • 22

juihuichung/awakening-proofnet-runs

Preview • Updated Aug 17 • 60

updated 3 models about 2 months ago

juihuichung/awakening-rl-replay100

Text Generation • 677k • Updated Aug 10 • 120

juihuichung/awakening-sft-replay100

Text Generation • 677k • Updated Aug 10 • 123

juihuichung/awakening-goedel-v2-32b-rl

Text Generation • 33B • Updated Aug 10 • 107

published 4 models about 2 months ago

juihuichung/awakening-rl-replay100

Text Generation • 677k • Updated Aug 10 • 120

juihuichung/awakening-sft-replay100

Text Generation • 677k • Updated Aug 10 • 123

juihuichung/awakening-goedel-v2-32b-rl

Text Generation • 33B • Updated Aug 10 • 107

juihuichung/awakening-goedel-v2-32b-sft

Text Generation • 33B • Updated Aug 10 • 112

updated a model about 2 months ago

juihuichung/awakening-goedel-v2-32b-sft

Text Generation • 33B • Updated Aug 10 • 112

updated a dataset about 2 months ago

juihuichung/awakening-data

Preview • Updated Aug 10 • 9

published a dataset about 2 months ago

juihuichung/awakening-data

Preview • Updated Aug 10 • 9

upvoted a paper 4 months ago

GrepSeek: Training Search Agents for Direct Corpus Interaction

Paper • 2605.29307 • Published May 28 • 116

New activity in nvidia/Nemotron-Math-Proofs-v1 6 months ago

The dataset fails to pass the lean4-server check.

3

#4 opened 9 months ago by

Sz1029