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

この検索内の頻出タグ: language:2 :1 case:1 change:1 coq:1 detection:1 large:1 markup:1 models:1 program:1 proving:1 source:1 theorem:1 tool:1

2 件の該当がありました． : このページの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.
[2] 高橋透, 大久保弘崇, 粕谷英人, 山本晋一郎, "構文木に着目してXMLマークアップされたソースプログラム間の差分抽出," 情報処理学会研究報告, 2006-SE-151, volume 2006, number 35, pages 41--48 2006年3月. [41.pdf]