本研究提出了一种“层次注意力”正则化方法，以提升大语言模型在形式定理证明中的表现。实验结果显示，该方法在miniF2F和ProofNet上的证明成功率分别提高了2.05%和1.69%，并降低了证明复杂性。
FullDiT是一种多任务视频生成模型，能够同时处理整个视频序列，提升文本到视频、图像到视频和视频修复的效果，展现出优越的时间一致性。
完成下面两步后，将自动完成登录并继续当前操作。
