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
282
Followers
RepliesRepliesArticlesArticlesMediaMedia

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.
  • 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...
Advertisement
Advertisement