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