DreamGraph is a graph-first cognitive layer (graph → MCP → CLI → dashboard → extension) that builds a persistent knowledge graph to reason, validate changes, and generate docs.

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

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

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

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)

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

TRAM: Benchmarking Temporal Reasoning for Large Language Models (Findings of ACL 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

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

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

Algebras for qualitative reasoning about time, space, etc.

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.

🔥 Measuring Massive Multimodal Understanding and Reasoning in Open Space