Cofounder of Imandra Inc; Music on Asian Man Records; Life Member, Clare Hall, University of Cambridge; songwriting + proving theorems about algorithms!
Austin, TX
Joined June 2011
- Tweets608
- Following1.6K
- Followers367
- Likes3.5K
Pinned Tweet
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 imandra.ai and see how powerful (and fun!) automated reasoning can be. So proud of our team @VerifiedbyAI!
Grant Olney Passmore retweeted
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.
youtu.be/9nR5Gw9v9IE
Grant Olney Passmore retweeted
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
arxiv.org/abs/2601.11840 [𝚌𝚜.𝙰𝙸 𝚌𝚜.𝙻𝙾 𝚌𝚜.𝚂𝙴]
Grant Olney Passmore retweeted
Moonpool and OCaml5 in Imandrax
docs.imandra.ai/imandrax/blo…
Grant Olney Passmore retweeted
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: wsj.com/articles/meet-neuros…
Grant Olney Passmore retweeted
Imandra’s new AI coding assistant CodeLogician uses ‘reasoning’ to guarantee the accuracy of its code ift.tt/vSZmFEQ
Grant Olney Passmore retweeted
Marijn representing Brute Reasoning (SAT) in new York Times article on "A.I. is coming for mathematics, too"
nytimes.com/2023/07/02/scien… – at Freiburg im Breisgau, Germany
Grant Olney Passmore retweeted
OCaml wins the 2023 SIGPLAN programming languages software award! 🎉sigplan.org/Awards/Software/
Grant Olney Passmore retweeted
Whichever of us is the last person to leave Twitter, make sure your last tweet is just the word "CROATOAN"
Grant Olney Passmore retweeted
Breaking my blogging vacation to talk about FTX, the cosmic-level hubris of Effective Altruism, and why this inevitable collapse has sealed the fate of crypto for good.
FTX: Greed, Grift, and Grandiosity
stephendiehl.com/blog/ftx.ht…
Grant Olney Passmore retweeted
BREAKING: White House issues new policy that will require, by 2026, all federally-funded research results to be freely available to public without delay, ending longstanding ability of journals to paywall results for up to 1 year. Coverage coming on @ScienceInsider.
"Model theory is commonly characterized as 'universal algebra plus logic', though Wilfrid Hodges has suggested that 'algebraic geometry minus fields' might be a more accurate characterization" - I like it! web.archive.org/web/20160411…
A slight linguistic shift I think would improve the writing (and reading!) of many proofs: the use of "evidently" instead of "obviously" for steps that are not utterly trivial
Grant Olney Passmore retweeted
While in the heatwave, find a tree nearby, and see just how much it cools you to be under it even in an urban environment. Then read @topnigel's recent report on the importance of halting global deforestation in the race for net zero emissions. globalcanopy.org/wp-content/…
Grant Olney Passmore retweeted
Hugh Grant tweeted a request at activists protesting outside Westminster to play the Benny Hill theme on their loudspeakers; when they did it became the soundtrack for street interviews with leading Tories trying explain the situation to the British people
I agree. There’s never been a more powerful or gut-wrenching moment in the White House briefing room. His speech needs to be watched by everyone, on both sides of the aisle.
nypost.com/2022/06/08/matthe…
