Seeking mentorship

Stream: Machine Learning for Theorem Proving

[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!

[Notification Bot]

A message was moved here from #Machine Learning for Theorem Proving > dreamcoder by David Afonso Valente.

[Gerard Calvo Bartra]

Hi @David Afonso Valente! I'm not directly answering your request, but you might want to check out this recent conversation for some ideas on possible research topics intersecting AI and Theorem Proving, besides exploring the discussions on this Machine Learning for Theorem Proving channel.