NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
rocq
Bu etiket altındaki 2 öğe.
27 Eki 2026
LLMs are making formal software verification feasible at a much larger scale
anthropic
formal-verification
oss-fuzz
security
rocq
22 Eki 2026
Anthropic: LLM'ler formal verification'ı OSS ölçeğine taşıyor — 180 milyon satır Rocq kanıtı
anthropic
formal-verification
oss-fuzz
security
rocq