mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
Retrieval-augmented proof step synthesis
Szegedy, Christian [Szegedy, Krisztián (Matematika és mes...), szerző]
;
Markus, Rabe
;
Henryk, Michalewski
Angol nyelvű Konferenciaközlemény (Egyéb konferenciaközlemény) Tudományos
Megjelent:
6th Conference on Artificial Intelligence and Theorem Proving: AITP 2021. (2021)
pp. 1-3
Azonosítók
MTMT: 35555985
Teljes dokumentum:
https://aitp-conference.org/2021/abstract/paper_18.pdf
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2026-01-18 05:28
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás