Mihaela

mihaelacatalina

1 2

·

AI & ML interests

None yet

Recent Activity

liked a model 23 days ago

Pythagoras-LM/Pythagoras-Prover-4B

liked a dataset 4 months ago

Pythagoras-LM/SFT_Dataset

upvoted a paper 4 months ago

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

View all activity

Organizations

models 0

None public yet

datasets 0

None public yet