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
    Idézett közlemények (1)
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-01-18 06:03