Mihaela

mihaelacatalina

1 1

·

AI & ML interests

None yet

Recent Activity

liked a dataset about 2 months ago

Pythagoras-LM/SFT_Dataset

upvoted a paper about 2 months ago

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

updated a model 2 months ago

Pythagoras-LM/Pythagoras-Prover-4B

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet