STAIR: Semantic-Temporal Automaton for Interpretable Reasoning in Temporal Question Answering
STAIR separates semantic interpretation from precise temporal inference: an answer-free LLM adapter maps complex question formulations to normalized temporal intents, while a deterministic temporal automaton with finite control and guarded transitions executes the corresponding policies over canonicalized evidence.