Strikingness-Aware Evaluation for Temporal Knowledge Graph Reasoning

arXiv:2604.05468v1 Announce Type: new Abstract: Temporal knowledge graph (TKG) extrapolation is an important task that aims to predict future facts through historical interaction

arXiv:2604.10164v1 Announce Type: new Abstract: Reasoning on Temporal Knowledge Graphs (TKGs) is essential for predicting future events and time-aware facts. While existing

arXiv:2603.19715v1 Announce Type: new Abstract: Formal verification via interactive theorem proving is increasingly used to ensure the correctness of critical systems, yet

arXiv:2604.05364v1 Announce Type: new Abstract: We introduce TFRBench, the first benchmark designed to evaluate the reasoning capabilities of forecasting systems. Traditionally,

arXiv:2605.11556v1 Announce Type: new Abstract: Solving complex long-horizon tasks requires strong planning and reasoning capabilities. Although datasets with explicit

arXiv:2605.04243v1 Announce Type: new Abstract: Despite significant advances, large language models (LLMs) continue to exhibit brittle performance on complex temporal reasoning

arXiv:2603.18532v1 Announce Type: cross Abstract: The strong performance of large vision-language models (VLMs) trained with reinforcement learning (RL) has motivated similar

arXiv:2607.22365v1 Announce Type: new Abstract: High-complexity operational environments require methods that detect and anticipate temporally distributed patterns rather than