temporal-reasoning

DreamGraph is a graph-governed conceptual development environment (CDE) that turns plans, architecture decisions, and project knowledge into auditable execution through a persistent cognitive graph.

A Survey of Task-Oriented Knowledge Graph Reasoning: Status, Applications, and Prospects

Time-R1: Framework and resources for endowing LLMs with comprehensive temporal reasoning (understanding, prediction, creative generation) using a novel three-stage RL curriculum. Includes the Time-Bench dataset and pre-trained models.

[WSDM 2022] EvoKG: Jointly Modeling Event Time and Network Structure for Reasoning over Temporal Knowledge Graphs

Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction at ReadTheDocs. See link below.

The official repo of TimeLlama, an instruction-finetuned Llama2 series that improve complex temporal reasoning ability.

The repository for ACL 2024 paper "TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models"

[AAAI 2022] TempoQR: Temporal Question Reasoning over Knowledge Graphs

Code and data for "Living in the Moment: Can Large Language Models Grasp Co-Temporal Reasoning?" (ACL 2024)

TRAM: Benchmarking Temporal Reasoning for Large Language Models (Findings of ACL 2024)

Code and data for "Timo: Towards Better Temporal Reasoning for Language Models" (COLM 2024)

[ACL 2025] Learning to Reason Over Time: Timeline Self-Reflection for Improved Temporal Reasoning in Language Models

[EMNLP 2023] Question Answering as Programming for Solving Time-Sensitive Questions

Experimental local-first toolkit for building grounded Digital Selves from WhatsApp conversations.

Official project page and open-source entry for Video-MME-Logical

Curated, annotated research on reasoning gaps in large language models — temporal reasoning, causal reasoning, and beyond.

Perfect memory. Exact reasoning. Complete history for AI agents.

Modular network control plane verification tool, using temporal invariants to define modular interfaces

LfD framework for learning the temporal dynamics of a social interaction

Deterministic Evidence Layer for Agentic Oversight