News

情報科学研究科の学生が、第22回情報学ワークショップ(WiNF2024)において 奨励賞を受賞しました

受賞した賞 奨励賞
受賞日 2024年12月7日
受賞者 中川 海都(情報科学研究科博士前期課程)
発表題目 大規模言語モデルにおけるCoq定理証明の学習手法に関する研究

https://sites.google.com/view/winf2024/award

関連記事一覧

カテゴリー