Search: 簡易 | 詳細 || Language: 英語 | 日本語 || ログイン |

この検索内の頻出タグ: :1 coq:1 language:1 large:1 models:1 proving:1 theorem:1

1 件の該当がありました． : このページのURL : HTML


研究会・全国大会等
[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.