Grant Olney Passmore

Cofounder of Imandra Inc; Music on Asian Man Records; Life Member, Clare Hall, University of Cambridge; songwriting + proving theorems about algorithms!

[Grant Olney Passmore @grantolney]

After many years of work, we're thrilled to share Imandra with the world at large! We need rigor and governance for algorithms, now more than ever. Dive in at https://t.co/BY9Bo99X03 and see how powerful (and fun!) automated reasoning can be. So proud of our team @VerifiedbyAI!

[Imandra @imandra_ai]

Our latest research shows @imandra_ai CodeLogician achieves up to 5x improvement in core code reasoning tasks like state space exploration and control-flow understanding.

Watch Imandra's co-founders @grantolney and @DenisIgnatovich demonstrates a live demo on Six Swiss Exchange pricing logic. Claude Opus 4.6 alone finds 38 unique behaviors in ~100 seconds. With Imandra's region decomposition, the precise answer — 44 distinct regions — arrives in a fraction of a second, revealing subtle edge cases the LLM missed entirely.

For regulated, high-stakes environments, formal verification isn't optional.

https://t.co/32pU7qxre4

[Artificial Intelligence Papers @SciFi]

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic

Hongyu Lin, Samer Abdallah, Makar Valentinov, Paul Brennan, Elijah Kagan, Christoph M. Wintersteiger, Denis Ignatovich, Grant Passmore
https://t.co/3bHTVxfQx7 [𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙻𝙾 𝚌𝚜.𝚂𝙴]

[KC Sivaramakrishnan @kc_srk]

Moonpool and OCaml5 in Imandrax

https://t.co/P99snNxtLl

[Imandra @imandra_ai]

Excited to see the @wsj highlight the real-world adoption of neurosymbolic AI (and @imandra_ai and @awscloud!) in live systems powering financial markets, logistics, and infrastructure!

Read the full feature: https://t.co/guLgcL2rRP

[SiliconANGLE @SiliconANGLE]

Imandra’s new AI coding assistant CodeLogician uses ‘reasoning’ to guarantee the accuracy of its code https://t.co/sOiclA9YyY

[Grant Olney Passmore @grantolney]

@MittRomney Please find a way to bring sanity back to the Republican party.

[Grant Olney Passmore @grantolney]

@elonmusk Here's a natural and organic post: you're a glib sycophantic asshole

[Grant Olney Passmore @grantolney]

@Acyn Rubio has lost his soul.

[Grant Olney Passmore @grantolney]

@THE_HAWK_2024 @bennyjohnson @VP @JDVance Very accurate statement about JD Vance

[Grant Olney Passmore @grantolney]

@CalltoActivism JD Vance is a loser of monumental proportions.

[Grant Olney Passmore @grantolney]

@Cate20230805 @CollinRugg @JDVance @JDVance absolutely fueled the fire and just made things worse. Disgrace of a vice president.

[Grant Olney Passmore @grantolney]

@Hickman2722 @beach_girl58 @elonmusk Do you seriously think Elon is doing something harder and more heroic than Zelensky? Give me a break.

[Grant Olney Passmore @grantolney]

@CalltoActivism Totally pathetic. Brian Glenn has less heroism than Zelensky's fingernail.

[Grant Olney Passmore @grantolney]

@BobBoilen Legend! Thank you for the staggeringly wonderful stuff you've brought to the world. Best wishes for what's next

[Armin Biere @ArminBiere]

Marijn representing Brute Reasoning (SAT) in new York Times article on "A.I. is coming for mathematics, too"
https://t.co/RljHFu6YML

[KC Sivaramakrishnan @kc_srk]

OCaml wins the 2023 SIGPLAN programming languages software award! 🎉https://t.co/GpxK3bRutM

[Grant Olney Passmore @grantolney]

@gia_margaret You are awesome!!

[Grant Olney Passmore @grantolney]

@Grady_Booch Wow, is Bob Boyer in there? Would’ve been at SRI then I believe

[Grant Olney Passmore @grantolney]

@emilyrosehay Congratulations!!! (I did my PhD at Univ. Edinburgh, too, many moons ago! :-))