Zobrazeno 1 - 10
of 85
pro vyhledávání: '"KOZYREV, ANDREI"'
We present CoqPilot, a VS Code extension designed to help automate writing of Coq proofs. The plugin collects the parts of proofs marked with the admit tactic in a Coq file, i.e., proof holes, and combines LLMs along with non-machine-learning methods
Externí odkaz:
http://arxiv.org/abs/2410.19605
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kozyrev, Andrei
Publikováno v:
Foreign Policy, 1995 Jul 01(99), 3-14.
Externí odkaz:
https://www.jstor.org/stable/1149002
Autor:
Kozyrev, Andrei V.
Publikováno v:
Slavic Review, 1992 Jul 01. 51(2), 287-293.
Externí odkaz:
https://www.jstor.org/stable/2499532
Publikováno v:
In Tetrahedron 2003 59(4):499-504
Autor:
Kozyrev, Andrei N., Suresh, V., Das, Suresh, Senge, Mathias O., Shibata, Masayuki, Dougherty, Thomas J., Pandey, Ravindra K. *
Publikováno v:
In Tetrahedron 2000 56(21):3353-3364
Autor:
Shao, Tao, Tarasenko, Victor F., Zhang, Cheng, Lomaev, Mikhail I., Sorokin, Dmitrii A., Yan, Ping, Kozyrev, Andrei V., Baksht, Evgeni Kh.
Publikováno v:
Journal of Applied Physics; Jan2012, Vol. 111 Issue 2, p023304, 10p, 4 Color Photographs, 8 Graphs
Publikováno v:
Journal of Applied Physics; 8/1/2006, Vol. 100 Issue 3, p033301, 10p, 5 Black and White Photographs, 1 Diagram, 10 Graphs