Search: Simple | Advanced || Language: English | Japanese || Login |

Frequent tags in this search: :1 coq:1 language:1 large:1 models:1 proving:1 theorem:1

2 publications are found. : URL for this page. : HTML


Author (author) Title (title) Journal/Conference Volume / Number Pages (pages) Published date Impact factor / Acceptance File
Domestic Conference
 大久保弘崇, 山本晋一郎, 坂部俊樹, 稲垣康善
 モデル生成に基づくJavaScriptプログラムの型検査系の構築について
 第9回プログラミングおよびプログラミング言語ワークショップ論文集

 77-88
 March 2007
50.pdf
Workshop
Exploring Large Language Models for Coq Theorem Proving


September 2025