Resultados de búsqueda - Bayless, Sam

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

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso

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

Enlace del recurso

A Neurosymbolic Approach to Natural Language Formalization and Verification por 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

Enlace del recurso