arXiv:2510. 14538v3 Announce Type: replace Abstract: Neuro-symbolic (NeSy) AI aims to develop deep neural networks whose predictions comply with prior knowledge encoding, e.
By Emanuele Marconato, Samuele Bortolotti, Emile van Krieken, Paolo Morettin, Elena Umili, Antonio Vergari, Efthymia Tsamoura, Andrea Passerini, Stefano Teso
arXiv:2607. 04096v1 Announce Type: new Abstract: Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of which are processed through reasoning traces in the language model's context window.
By Vishvesh Bhat, Jay Vaghasiya, Emmanuel Anaya Gonzalez
Current agentic workflows usually involve decomposing user requests into sequences of tool calls with correctly resolved parameters, the results of which are processed through reasoning traces in the language model's context window. The prevailing route to improve such reasoning is test-time scaling, which trains models to search over long chains of thought; but the resulting capability is entangled in model weights, is not verifiable step-by-step, and is costly at inference.
arXiv:2608. 14407v1 Announce Type: new Abstract: We present a survey of the past and future of AI Scientists: machines capable of automating science.
By Ross D. King
arXiv:2606. 27960v1 Announce Type: cross Abstract: Software engineering is an intellectually demanding, creative discipline that juggles a web of interdependent tasks to design, build, and assure the quality of increasingly complex systems.
By Roberto Pietrantuono, Luca Giamattei, Stefano Russo
arXiv:2607. 05168v1 Announce Type: new Abstract: Why do intelligent systems need to perform explicit symbolic reasoning?
By Jun Sun