Pythagoras-LM

AI & ML interests

None defined yet.

Recent Activity

Jforeverss  updated a dataset about 11 hours ago

Pythagoras-LM/Mutated_Dataset_SFT_Filtered

Jforeverss  published a dataset about 11 hours ago

Pythagoras-LM/Mutated_Dataset_SFT_Filtered

Jforeverss  updated a model 3 days ago

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

View all activity

Team members 2