ペーパーフォーマライザー、研究論文の自動形式化を支援
ジユアン・タン (Jiyuan Tan)氏、バシリス・シーガンキス (Vasilis Syrgkanis)氏、ホセ・ブランシェット (Jose Blanchet)氏らは10月21日(現地時間)、研究論文の証明や前提に存在する小さなギャップを発見・修正し、Lean検証済みバージョンへ変換する新ツール「ペーパーフォーマライザー (PaperFormalizer)」を発表した。本ツールは、著者自身が形式化プロセスに関与することで、論文の主張の正確性を保持しつつ、その堅牢性を高めることを狙う。