Mihaela

mihaelacatalina

1 1

·

AI & ML interests

None yet

Recent Activity

liked a dataset 22 days ago

Pythagoras-LM/SFT_Dataset

upvoted a paper 25 days ago

Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation

updated a model 29 days ago

Pythagoras-LM/Pythagoras-Prover-4B

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet