Formal近期进展
Formal，即形式化，是一种在各个领域，尤其是计算机科学和数学中，用于描述、分析和验证系统的方法。近期，形式化技术的研究和应用取得了显著进展。
Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures
原文标题 在航空交通控制领域，一项研究提出了形式化的运行时监控方法，用于监控和解释语音操作程序。该研究旨在提高空中交通控制的安全性。TANGO: Token-Aggregated Nonlinear Gating Operators for Natural and Formal Language Modeling
原文标题 Google DeepMind提出了一种名为TANGO的新模型，该模型结合了自然语言和形式语言建模技术，旨在提高语言模型的表现。Erdős-Selfridge 奇数覆盖问题的 Lean 4 形式化排除：lcm 超过 10000
原文标题 Google DeepMind使用Lean 4进行了一项形式化研究，解决了Erdős-Selfridge奇数覆盖问题，其结果中的最小公倍数超过了10000。WoFT：结合形式语法验证与结构学习的代码生成新范式
原文标题 在代码生成领域，一项研究提出了结合形式语法验证和结构学习的新方法，以改善代码生成的质量。当前焦点与观察点
Formal技术的应用正在扩展到更多领域，包括人工智能、网络安全和软件开发。当前的研究焦点包括提高形式化方法的可解释性和效率，以及探索其在实际应用中的潜力。