Academic

Academic

Academic · 1 min

El Agente Gr\'afico: Structured Execution Graphs for Scientific Agents

arXiv:2602.17902v1 Announce Type: new Abstract: Large language models (LLMs) are increasingly used to automate scientific workflows, yet their integration with heterogeneous computational tools remains ad …

Jiaru Bai, Abdulrahman Aldossary, Thomas Swanick, Marcel M\"uller, Yeonghun Kang, Zijian Zhang, Jin Won Lee, Tsz Wai Ko, Mohammad Ghazi Vakili, Varinia Bernales, Al\'an Aspuru-Guzik
23 views
Academic · 1 min

Neurosymbolic Language Reasoning as Satisfiability Modulo Theory

arXiv:2602.18095v1 Announce Type: new Abstract: Natural language understanding requires interleaving textual and logical reasoning, yet large language models often fail to perform such reasoning reliably. …

Hyunseok Oh, Sam Stern, Youngki Lee, Matthai Philipose
22 views