数学を超えて:アリストテレスはVERINA: Benchmarking Verifiable Code GenerationでSOTAで96.8%の証明生成を達成。このパフォーマンスについては、略歴にリンクされた当社のエンジニアリングブログで詳しく読むことができます