Kaiyu Yang

kaiyuy's activity

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

upvoted an article 4 days ago

view article

Article

The N Implementation Details of RLHF with PPO

Oct 24, 2023

• 50

upvoted a collection 9 months ago

LeanDojo

Collection

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

updated a collection 9 months ago

LeanDojo

Collection

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

updated 5 models 9 months ago

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

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

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

Updated Jul 16, 2024

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

Updated Jul 16, 2024

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

Updated Jul 16, 2024 • 2 • 1

kaiyuy/leandojo-lean4-retriever-byt5-small

Updated Jul 16, 2024 • 738 • 5

New activity in kaiyuy/leandojo-lean4-tacgen-byt5-small 9 months ago

Adding `safetensors` variant of this model

#2 opened over 1 year ago by

SFconvertbot