Algebras for qualitative reasoning about time, space, etc.
-
Updated
Dec 6, 2020 - Common Lisp
Algebras for qualitative reasoning about time, space, etc.
Modular network control plane verification tool, using temporal invariants to define modular interfaces
Implements solution for temporal reasoning using Viterbi Algorithm.
The repository for paper "TimeBench: A Comprehensive Evaluation of Temporal Reasoning Abilities in Large Language Models"
[EMNLP 2023] Question Answering as Programming for Solving Time-Sensitive Questions
[ECCV 2018] Temporal Relational Reasoning in Videos
LfD framework for learning the temporal dynamics of a social interaction
Temporal Context Graph - Interval-based temporal reasoning model capable of learning tasks with cyclical events
TRAM: Benchmarking Temporal Reasoning for Large Language Models (Findings of ACL 2024)
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.
[AAAI 2022] TempoQR: Temporal Question Reasoning over Knowledge Graphs
[WSDM 2022] EvoKG: Jointly Modeling Event Time and Network Structure for Reasoning over Temporal Knowledge Graphs
Add a description, image, and links to the temporal-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the temporal-reasoning topic, visit your repo's landing page and select "manage topics."