seeking mentorship

Stream: new members

[David Afonso Valente]

Hey LEAN community!

I'm David Valente, a masters student with a background in computer science and engineering, specializing in machine learning. I'm interested in working on automated theorem proving, autoformalization, and reasoning with AI for my thesis and I'm eager to get involved in research in these areas.

If you're working on projects related to these topics and would be open to having an external collaborator, I'd love to chat and see how I can contribute.

Looking forward to connecting with you all!

[Kevin Buzzard]

You might want to repost this in the #Machine Learning for Theorem Proving stream to get more of the right people's eyes on this message.

[Notification Bot]

David Afonso Valente has marked this topic as resolved.

[Notification Bot]

David Afonso Valente has marked this topic as unresolved.