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

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

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


著者名 (author) 表題 (title) 論文誌/会議名 巻号 ページ範囲 (pages) 出版年月 JCR/採択率 File
研究会・全国大会等
 H. Kasuya, K. Nakagawa, H. Ohkubo, S. Yamamamoto
 Exploring Large Language Models for Coq Theorem Proving


2025年9月