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

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

LfD framework for learning the temporal dynamics of a social interaction

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

The first open evaluation framework for AI continuity. 250 narrative tests, 1835 verification questions, 10 checkpoints. Benchmark for AI memory systems, stateful agents, and long-term context persistence. No LLM in the evaluation loop.

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

Algebras for qualitative reasoning about time, space, etc.

🔥 Measuring Massive Multimodal Understanding and Reasoning in Open Space