2 papers
cs.AI2026
MagicAgent: Towards Generalized Agent Planning
Xuhui Ren, Shaokang Dong, Chen Yang +21
The evolution of Large Language Models (LLMs) from passive text processors to autonomous agents has established planning as a core component of modern intelligence. However, achiev…
cs.LG2025
Structure based SAT dataset for analysing GNN generalisation
Yi Fu, Anthony Tompkins, Yang Song +1
Satisfiability (SAT) solvers based on techniques such as conflict driven clause learning (CDCL) have produced excellent performance on both synthetic and real world industrial prob…