NewA calmer, faster ZeroHour — security assessments on articles, story timelines and search from any page.

#lyapunov

0 stories this week · 1 this month · 1 in 6 months · mostly AI

Stories per day · 30 days

Relatedbarrier-certificates1 benchmark1 formal-verification1 lean1 smt1

1 stories, newest first · one card per story

Hugging Face daily papers22d ago

LLM2Cert synthesizes certificates checked by SMT solvers and Lean

The method verifies 81 of 105 DynaCertBench instances, 17.1 points above one-shot proposals without feedback.

formal-verification lyapunov