PMAN - Paper management system: H. Kasuya, K. Nakagawa, H. Ohkubo, and S. Yamamamoto, Exploring Large Language Models for Coq Theorem Proving, September 2025.
Detail of a work
| Tweet | |
| H. Kasuya, K. Nakagawa, H. Ohkubo, and S. Yamamamoto, Exploring Large Language Models for Coq Theorem Proving, 62nd TRS Meeting, Aichi Prefectural University, 2025. | |
| ID | 339 |
| 分類 | 研究会・全国大会等 |
| タグ | coq language large models proving theorem |
| 表題 (title) |
Exploring Large Language Models for Coq Theorem Proving |
| 表題 (英文) |
|
| 著者名 (author) |
H. Kasuya, K. Nakagawa, H. Ohkubo, S. Yamamamoto |
| 英文著者名 (author) |
,,, |
| キー (key) |
,,, |
| 刊行月 (month) |
9 |
| 出版年 (year) |
2025 |
| URL |
|
| 付加情報 (note) |
62nd TRS Meeting, Aichi Prefectural University |
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@unpublished{id339,
title = { Exploring Large Language Models for Coq Theorem Proving},
author = {H. Kasuya and K. Nakagawa and H. Ohkubo and S. Yamamamoto},
month = {9},
year = {2025},
note = {62nd TRS Meeting, Aichi Prefectural University},
}
|