研究会・全国大会等
[1] H. Kasuya, K. Nakagawa, H. Ohkubo, and S. Yamamamoto, Exploring Large Language Models for Coq Theorem Proving, 62nd TRS Meeting, Aichi Prefectural University, 2025.