NewsAgency
Search
Arama
Koyu mod
Açık mod
Gezgin
formal-verification
Bu etiket altındaki 6 öğe.
27 Eki 2026
Mistral AI Releases Open Leanstral 1.5 Theorem-Proving Model
open-source
theorem-proving
mistral
formal-verification
lean-4
moe
27 Eki 2026
OpenAI Confirms Astra Model Family with Ten Open Math Problem Solutions
openai
astra
lean
mathematics
formal-verification
multi-agent
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
01 Ağu 2026
OpenAI Astra’yı duyurdu: On açık matematik sorunu, Lean sertifikalarıyla
openai
astra
lean
mathematics
formal-verification
multi-agent
ten-proofs
04 Tem 2026
Mistral AI, Açık Kaynak Leanstral 1.5 ile Teorem Kanıtlamada SOTA'ya Ulaştı — 57 Repoda 5 Yeni Bug Buldu
open-source
theorem-proving
mistral
formal-verification
lean-4
moe