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

  • Log In
  • Sign Up

Pythagoras-LM

university
https://joshuaongg21.github.io/
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  updated a model about 11 hours ago
Pythagoras-LM/Pythagoras-Prover-SFT-32B
Jforeverss  published a model 1 day ago
Pythagoras-LM/Pythagoras-Prover-SFT-32B
Jforeverss  updated a dataset 5 days ago
Pythagoras-LM/Pythagoras_RL_Dataset_v2
View all activity

Joshua Ong Jun Leang's profile pictureZheng Zhao's profile picture

models 1

Pythagoras-LM/Pythagoras-Prover-SFT-32B

Text Generation • 33B • Updated about 11 hours ago • 32

datasets 2

Pythagoras-LM/Pythagoras_RL_Dataset_v2

Viewer • Updated 5 days ago • 187k • 25

Pythagoras-LM/Pythagoras_RL_Dataset

Viewer • Updated 6 days ago • 97.1k • 28
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs