fmenol/w4c_test
0 Bytes
Filippo Menolascina
fmenol
AI & ML interests
None yet
Recent Activity
published a bucket 5 days ago
fmenol/w4c_test upvoted a paper 4 months ago
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation upvoted a paper 4 months ago
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended TasksOrganizations
