Announcement_9
I am excited to announce that I will be joining MBZUAI as a visiting student, working on Theorem Proving with LLMs. Feel free to reach out if you are interested in discussing potential collaborations!
I am excited to announce that I will be joining MBZUAI as a visiting student, working on Theorem Proving with LLMs. Feel free to reach out if you are interested in discussing potential collaborations!