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
    Hivatkozás stílusok: IEEEACMAPAChicagoHarvardCSLMásolásNyomtatás
    2026-01-18 05:28