Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Pythagoras-LM

Team
university
https://pythagoras-lm.github.io/
Pythagoras-LM
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  updated a model about 1 hour ago
Pythagoras-LM/Pythagoras-Prover-4B
Jforeverss  updated a dataset about 1 hour ago
Pythagoras-LM/SFT_Dataset
Jforeverss  published a dataset about 1 hour ago
Pythagoras-LM/SFT_Dataset
View all activity

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

models 1

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated about 1 hour ago • 49

datasets 1

Pythagoras-LM/SFT_Dataset

Viewer • Updated about 1 hour ago • 126k
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs