PMAN - Paper management system: 中川, LLMによる定理証明サンプル学習のためのデータセット形式, 2026年.
Detail of a work
| Tweet | |
| 中川, "LLMによる定理証明サンプル学習のためのデータセット形式," 修士学位論文, 愛知県立大学大学院, 2026年. | |
| ID | 355 |
| 分類 | 修士論文 |
| タグ | |
| 表題 (title) |
LLMによる定理証明サンプル学習のためのデータセット形式 |
| 表題 (英文) |
|
| 著者名 (author) |
中川 海都 |
| 英文著者名 (author) |
|
| キー (key) |
|
| 学校名 (school) |
愛知県立大学大学院 |
| 出版社住所 (address) |
|
| 刊行月 (month) |
0 |
| 出版年 (year) |
2026 |
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
|
| 論文電子ファイル | 利用できません． |
| BiBTeXエントリ |
@masterthesis{id355,
title = {LLMによる定理証明サンプル学習のためのデータセット形式},
author = {中川 海都},
school = {愛知県立大学大学院},
month = {0},
year = {2026},
}
|