1. X
  2. Sequent
Log inSign up
Sequent
26 posts
Sequent profile banner
user avatar

Sequent

@Sequent_Inc
deep verification
sequent.inc
Joined February 2026
1
Following
283
Followers
RepliesRepliesArticlesArticlesMediaMedia
  • user avatar
    Sequent
    @Sequent_Inc
    Aug 13
    offensive cyber is progressing at an extraordinary pace!
    user avatar
    Dwayne
    @CtrlAltDwayne
    Aug 12
    Replying to @CtrlAltDwayne
    This is unreal. It keeps going deeper. It's cracked it wide open. I tried to get 5.6 Sol to do this prior and it hit a brick wall. Daybreak Blue just didn't stop until it worked it out.
    Image
  • user avatar
    Sequent
    @Sequent_Inc
    Jul 29
    Please read our article, "Why Higher-Order Logic Is a Good Foundation for Deep Verification", authored by Ramana Kumar and Charles Cooper! x.com/Sequent_Inc/st…
    user avatar
    Elliot Glazer
    @ElliotGlazer
    Jul 29
    Shoutouts to Ramana Kumar for refuting the Collatz Conjecture in Lean, *as checked by Comparator!* github.com/xrchz/CollatzL…
    Image
  • user avatar
    Sequent
    @Sequent_Inc
    Jul 29
    Article
    Why Higher-Order Logic Is a Good Foundation for Deep Verification
    authored by Ramana Kumar and Charles Cooper. originally posted at https://sequent.inc/blog/posts/why-hol-for-deep-verification/ Interactive theorem provers let us make unusually strong claims about software: instead of testing selected...
  • user avatar
    Sequent
    @Sequent_Inc
    Jul 20
    We are excited to announce that we are working with @CurveFinance to formally verify LP safety for 2-coin StableSwap! These are machine-checked mathematical proofs in higher order logic, not an audit. First proofs are green, with more in the pipeline! 🧵 1/
  • user avatar
    Sequent
    @Sequent_Inc
    May 27
    Article cover image
    Article
    Is Formal Verification the Answer to the AI Cybersecurity Crisis?
    ​A few weeks ago, Anthropic announced that Claude Mythos, its latest model, had identified thousands of critical vulnerabilities in widely used and trusted software, including every major web browser...

Log in or sign up for X

See what’s happening and join the conversation

Continue with phone
or
Log in with username or email
Terms·Privacy·Cookies·Accessibility·Ads Info·© 2026 X Corp.
Advertisement
Advertisement