2 papers
cs.AI2026
SymbolLKG: Towards Verifiable Logical Reasoning via Logical Knowledge Graph and Symbolic Solvers
Haizhao Fan, Yuchi Xiong, Jize Wang +2
Large Language Models (LLMs) have demonstrated remarkable proficiency in natural language understanding, yet they struggle with strict multi-step reasoning, frequently suffering fr…
cs.LG2026
SAGE: Variate-Wise Semantic Augmentation for Vision-Language Time Series Forecasting
Haizhao Fan, Xinyi Le
Time series forecasting models operate on raw numerical sequences, lacking the semantic knowledge that domain experts implicitly leverage, such as the physical meaning of each vari…