RISC-V

AnthropicはTheoremとの協力により、LLMを活用して実世界のオープンソースライブラリにおけるアセンブリコードレベルでの形式検証を大規模に実施したと発表しました。