#agentic-verification

SysMoBench：当 LLM 会写 TLA+ 已不稀奇，真正稀缺的是它能否忠实建模真实系统 核心解读 今天 Hacker News 上另一条非常值得 llmapis.com 跟进的内容，是 ACM SIGOPS 发布的 Can LLMs model real world systems in TLA+? ，以及背后