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

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

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


国内会議(査読付き)
[1] 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善, "モデル生成に基づくJavaScriptプログラムの型検査系の構築について," 第9回プログラミングおよびプログラミング言語ワークショップ論文集, pages 77-88 2007年3月. [50.pdf]
研究会・全国大会等
[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.