Qian Li

Efficient Turing Machine Simulation with Transformers

Feature Augmentation of GNNs for ILPs: Local Uniqueness Suffices

Constant Bit-size Transformers Are Turing Complete

When GNNs meet symmetry in ILPs: an orbit-based feature augmentation approach

Towards Explaining the Power of Constant-depth Graph Neural Networks for Structured Linear Programming

Invar-RAG: Invariant LLM-aligned Retrieval for Better Generation