Kaiyu Yang

kaiyuy's activity

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

upvoted a collection about 1 month ago

Qwen3

Collection

40 items • Updated 9 days ago • 708

upvoted an article about 1 month ago

view article

Article

The N Implementation Details of RLHF with PPO

By and 2 others •

Oct 24, 2023

• 58

upvoted a collection 10 months ago

LeanDojo

Collection

Machine learning for theorem proving in Lean: https://leandojo.org/ • 10 items • Updated Jul 23, 2024 • 2

updated a collection 10 months ago

LeanDojo

Collection

Machine learning for theorem proving in Lean: https://leandojo.org/ • 10 items • Updated Jul 23, 2024 • 2

updated a model 10 months ago

kaiyuy/leandojo-lean4-retriever-tacgen-byt5-small

Text2Text Generation • Updated Jul 20, 2024 • 1.53k • 4

updated 4 models 11 months ago

kaiyuy/premise-embeddings-leandojo-lean4-retriever-byt5-small

Updated Jul 16, 2024

kaiyuy/ct2-leandojo-lean4-tacgen-byt5-small

Updated Jul 16, 2024 • 3

kaiyuy/ct2-leandojo-lean4-retriever-byt5-small

Updated Jul 16, 2024 • 5 • 1

kaiyuy/leandojo-lean4-retriever-byt5-small

Updated Jul 16, 2024 • 940 • 5