Tag: AI for Science

All the articles with the tag "AI for Science".

• Hierarchical Attention Generates Better Proofs

  Published: 6 May, 2025 |  at  11:16 PM

  

  69.57 🤔

  本文提出层次注意力正则化方法，通过引导大型语言模型的注意力机制与数学推理的五级层次结构对齐，在 miniF2F 和 ProofNet 基准上分别提升证明成功率 2.05% 和 1.69%，并显著降低证明复杂度。