SoK: Formal Methods for Fact-Checking and Information Integrity
论文探讨了自动事实核查系统缺乏可验证证据的问题,提出使用形式化方法来解决,并从五个层面组织和分析现有研究,指出当前的不足及未来的研究方向。
论文探讨了自动事实核查系统缺乏可验证证据的问题,提出使用形式化方法来解决,并从五个层面组织和分析现有研究,指出当前的不足及未来的研究方向。
研究发现社区笔记系统的单轴评价模型不足以准确反映评分者分歧,提出增加第二维度(信任机构)以改善预测准确性。
该研究通过引入Lévy Attention方法,解决了不规则采样时间序列模型在任意连续时间戳查询时缺乏预测可信度的问题。
This study addresses the problem of predicting both the timing and location of link formation in complex networks. It proposes a closed-form, non-Markovian model that integrates latent hyperbolic geometry with long-range memory of historical interactions, thereby unifying geometric structure and memory effects within a single framework for the first time. The resulting approach features few parameters and strong interpretability, offering a principled method for temporal link prediction. By modeling network dynamics through a non-Markovian process and deriving probabilistic predictions, the model achieves excellent agreement with empirical connection probabilities across multiple large-scale real-world networks. These results reveal that network evolution is fundamentally governed by the interplay between geometric constraints and memory-driven mechanisms.
This work proposes a lightweight multimodal approach to accurately predict user gaze direction in virtual reality scenarios where eye-tracking hardware is unavailable or restricted by privacy constraints—a critical capability for techniques such as foveated rendering. The method uniquely integrates head-mounted display (HMD) motion signals with visual saliency cues from video frames by leveraging UniSal for visual feature extraction and combining TSMixer with LSTM to construct a temporal prediction module. Experiments on the EHTask dataset and commercial VR devices demonstrate that the proposed approach significantly outperforms baseline methods such as Center-of-HMD and Mean Gaze, achieving high prediction accuracy, low latency, and practical deployability without requiring eye-tracking data, thereby enhancing the naturalness and efficiency of VR interactions.
论文探讨了自动事实核查系统缺乏可验证证据的问题,提出使用形式化方法来解决,并从五个层面组织和分析现有研究,指出当前的不足及未来的研究方向。
研究发现社区笔记系统的单轴评价模型不足以准确反映评分者分歧,提出增加第二维度(信任机构)以改善预测准确性。
该研究通过引入Lévy Attention方法,解决了不规则采样时间序列模型在任意连续时间戳查询时缺乏预测可信度的问题。
This study addresses the problem of predicting both the timing and location of link formation in complex networks. It proposes a closed-form, non-Markovian model that integrates latent hyperbolic geometry with long-range memory of historical interactions, thereby unifying geometric structure and memory effects within a single framework for the first time. The resulting approach features few parameters and strong interpretability, offering a principled method for temporal link prediction. By modeling network dynamics through a non-Markovian process and deriving probabilistic predictions, the model achieves excellent agreement with empirical connection probabilities across multiple large-scale real-world networks. These results reveal that network evolution is fundamentally governed by the interplay between geometric constraints and memory-driven mechanisms.
This work proposes a lightweight multimodal approach to accurately predict user gaze direction in virtual reality scenarios where eye-tracking hardware is unavailable or restricted by privacy constraints—a critical capability for techniques such as foveated rendering. The method uniquely integrates head-mounted display (HMD) motion signals with visual saliency cues from video frames by leveraging UniSal for visual feature extraction and combining TSMixer with LSTM to construct a temporal prediction module. Experiments on the EHTask dataset and commercial VR devices demonstrate that the proposed approach significantly outperforms baseline methods such as Center-of-HMD and Mean Gaze, achieving high prediction accuracy, low latency, and practical deployability without requiring eye-tracking data, thereby enhancing the naturalness and efficiency of VR interactions.