Suchergebnisse - Bayless, Sam

  • Treffer 1 - 5 von 5
Treffer weiter einschränken
  1. 1
    Buchumschlag

    VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning Autoría: Singh, Vikash, Cassel, Darion, Weir, Nathaniel, Feng, Nick, Bayless, Sam

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    ReSyn: Autonomously Scaling Synthetic Environments for Reasoning Models Autoría: He, Andre, Weir, Nathaniel, Bostrom, Kaj, Nie, Allen, Cassel, Darion, Bayless, Sam, Rangwala, Huzefa

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks Autoría: Feng, Yu, Weir, Nathaniel, Bostrom, Kaj, Bayless, Sam, Cassel, Darion, Chaudhary, Sapana, Kiesl-Reiter, Benjamin, Rangwala, Huzefa

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories Autoría: Feng, Nick, Hu, Alan J., Bayless, Sam, Iqbal, Syed M., Trentin, Patrick, Whalen, Mike, Pike, Lee, Backes, John

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    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

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: