Friday Reading Group Meeting
13 views
Skip to first unread message
Tatev Vardanyan
Jan 29, 2025, 1:32:58 AMJan 29
to Machine Learning Reading Group Yerevan
Hi friends,
This Friday, January 31, Tigran Fahradyan, YerevaNN/YSU ML researcher, will present DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data paper available on arXiv with this link: https://arxiv.org/pdf/2405.14333
This Friday, January 31, Tigran Fahradyan, YerevaNN/YSU ML researcher, will present DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data paper available on arXiv with this link: https://arxiv.org/pdf/2405.14333
This Friday's seminar will start at 5 PM.
Date: Friday, January 31, 2025
Date: Friday, January 31, 2025
Time: 5:00 PM - 6:30 PM
Location: YSU Krisp-AI Lab
Regards,
Regards,
Tatev
Reply all
Reply to author
Forward
0 new messages