mtmt
Magyar Tudományos Művek Tára
XML
JSON
Átlépés a keresőbe
In English
Autoformalization with Large Language Models
Wu, Y.
;
Jiang, A.Q.
;
Li, W.
;
Rabe, M.N.
;
Staats, C.
;
Jamnik, M.
;
Szegedy, C. [Szegedy, Krisztián (Matematika és mes...), szerző]
Angol nyelvű Konferenciaközlemény (Könyvrészlet) Tudományos
Megjelent:
Koyejo S.. 36th Conference on Neural Information Processing Systems, NeurIPS 2022. (2022) ISBN:9781713871088
Paper: 189185
, 16 p.
Azonosítók
MTMT: 35517006
WoS:
001202259101007
Scopus:
85144992805
Idézett közlemények (1)
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
CSL
Másolás
Nyomtatás
2026-01-18 06:03
×
Lista exportálása irodalomjegyzékként
Hivatkozás stílusok:
IEEE
ACM
APA
Chicago
Harvard
Nyomtatás
Másolás