All news

3 articles

Min score

blogMurat Demirbas (Metadata)·22 Oct 20264.5
HPTS 2026 (Day 1)
Notes from HPTS 2026 day 1, mostly on AI and the value of formal specifications.
Also in Murat Demirbas (Metadata)
llm-agents distributed-systems formal-verification
newsHacker News·23 Oct 20263.7
LLMs are making formal software verification feasible at a much larger scale
Anthropic researchers report LLMs now make formal software verification feasible at much larger scale.
llm-for-code formal-verification
paperACM Digital Library·22 Oct 20263.2
Neural Approximation of Vision-Controlled Systems for Reachability Analysis
Neural approximation for reachability of vision-controlled systems.
formal-verification