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

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


Author (author) Title (title) Journal/Conference Volume / Number Pages (pages) Published date Impact factor / Acceptance File
Workshop
Exploring Large Language Models for Coq Theorem Proving


September 2025