2 papers
cs.AI2026
Goal-Driven Reasoning in DatalogMTL with Magic Sets
Shaoyu Wang, Kaiyue Zhao, Dongliang Wei +4
DatalogMTL is a powerful rule-based language for temporal reasoning. Due to its high expressive power and flexible modeling capabilities, it is suitable for a wide range of applica…
cs.LG2025
SmallThinker: A Family of Efficient Large Language Models Natively Trained for Local Deployment
Yixin Song, Zhenliang Xue, Dongliang Wei +11
While frontier large language models (LLMs) continue to push capability boundaries, their deployment remains confined to GPU-powered cloud infrastructure. We challenge this paradig…