Resultados de búsqueda - Lin, Haohan

  • Mostrando 1 - 1 Resultados de 1
Limitar resultados
  1. 1
    Imagen de Portada

    Lean-STaR: Learning to Interleave Thinking and Proving por Lin, Haohan, Sun, Zhiqing, Welleck, Sean, Yang, Yiming

    Publicado 2024
    Enlace del recurso
    Preprint

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: