Mihaela

mihaelacatalina

1 1

·

AI & ML interests

None yet

Recent Activity

liked a dataset 28 days ago

Pythagoras-LM/SFT_Dataset

upvoted a paper about 1 month ago

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

updated a model about 1 month ago

Pythagoras-LM/Pythagoras-Prover-4B

View all activity

Organizations

mihaelacatalina 's datasets

None public yet