Mihaela

mihaelacatalina

1 1

·

AI & ML interests

None yet

Recent Activity

liked a dataset 27 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

liked a dataset 27 days ago

Pythagoras-LM/SFT_Dataset

Viewer • Updated 24 days ago • 126k • 260 • 9

upvoted a paper about 1 month ago

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

Paper • 2606.12594 • Published Jun 10 • 17

updated a model about 1 month ago

Pythagoras-LM/Pythagoras-Prover-4B

Text Generation • 4B • Updated 28 days ago • 605 • • 5