@Sequent_Inc profile picture
Sequent @Sequent_Inc

deep verification

Joined February 2026
  • Tweets 5
  • Following 0
  • Followers 19
Photos and videos
x.com/i/article/205964718484…

1
3
51
Formatted article with links on our blog: sequent.inc/blog/posts/ai-cy…

Is Formal Verification the Answer to the AI Cybersecurity Crisis? — Sequent Blog

AI is changing the economics and tempo of cyber offense. Fighting fire with fire won't fix an asymmetric problem; proving certain classes of bugs cannot occur will.

sequent.inc
3
42
Sequent retweeted
Vyper
@vyperlang
May 5
A big part of that acceleration comes from early access to @Sequent_Inc's Alan, a state-of-the-art AI-powered prover agent which performs autonomous proving and also assists with specification modeling and theorem generation
1
2
8
326
Sequent
@Sequent_Inc
Apr 24
Lean is fashionable in math right now, but as @LawrPaulson argues, other frameworks have their own advantages. HOL4 was built for applications beyond math (hardware, software, compilers) and that's why we use it!
Lawrence Paulson@LawrPaulson
Apr 23
New on my blog: "Why not use Lean?" lawrencecpaulson.github.io/2…
1
1
8
319
Load more