Hacker News AI54MAGS: Machine-checked guarantees on specified safety properties in AI code2026/10/17 18:04· 1小时前论文论文研究查看原文（Hacker News AI）分享海报（1080px）导出 Markdown