Résultats de la recherche - Cook, Byron

  • Résultat(s) 1 - 2 résultats de 2
Affiner les résultats
  1. 1
    Image de couverture de livre

    Learning How to Cube Autoría: Erata, Ferhat, Kouteili, Sam, Typaldos, Thanos, Antonopoulos, Timos, Jones, Robert B., Cook, Byron, Piskac, Ruzica

    Publié 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:
  2. 2
    Image de couverture de livre

    A Neurosymbolic Approach to Natural Language Formalization and Verification Autoría: Bayless, Sam, Buliani, Stefano, Cassel, Darion, Cook, Byron, Clough, Duncan, Delmas, Rémi, Diallo, Nafi, Erata, Ferhat, Feng, Nick, Giannakopoulou, Dimitra, Goel, Aman, Gokhale, Aditya, Hendrix, Joe, Hudak, Marc, Jovanović, Dejan, Kent, Andrew M., Kiesl-Reiter, Benjamin, Kuna, Jeffrey J., Labai, Nadia, Lilien, Joseph, Raghunathan, Divya, Rakamarić, Zvonimir, Razavi, Niloofar, Tautschnig, Michael, Torkamani, Ali, Weir, Nathaniel, Whalen, Michael W., Yao, Jianan

    Publié 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Ajouter aux favoris
    Enregistré dans:

Outils de recherche: