InAI & QA NexusbySuresh Madhusanka Rodrigo·Apr 2Imandra AI Testing Series — Part 10: Supercharging GitHub Copilot with the Power of Imandra Code…In the 10th edition of the Imandra AI Testing Series, we explore how to connect GitHub Copilot with Imandra Code Logician MCP servers. This…
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 29Imandra AI Testing Series — Part 9: Proof Playground by Discovering Why Goals Break in ImandraX…In the 5th edition of the Imandra AI Testing Series, we explored how to define verification goals and how Imandra represents both proven…A response icon1A response icon1
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 26Imandra AI Testing Series — Part 8: Understanding Opaqueness Functions by Abstraction…In this 8th edition of the series ‘Imandra AI Testing Series’, we will look into opaqueness function in Imandra which is a black‑box…A response icon1A response icon1
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 24Imandra AI Testing Series — Part 7: Exploring Region Decomposition with ImandraX’s Interactive…In the 6th edition of the ‘Imandra AI Testing Series’, we explored the advantages of installing ImandraX natively on a Windows machine and…
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 22Imandra AI Testing Series — Part 6: Installing ImandraX Natively on Windows with Windows Subsystem…In the sixth edition of the ‘Imandra AI Testing Series’, it moves beyond the introductory concepts covered in the first edition (Imandra AI…A response icon1A response icon1
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 19Imandra AI Testing Series — Part 5: Proving, Refuting and Overriding Verification GoalsIn the 5th edition of the ‘Imandra AI Testing Series’, it explores how Imandra attempts to prove the verification goals you define in your…
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 17Exploring the Nexus of AI & QA: Weekly Insights — 02/03/2026 to 15/03/2026Welcome back to the AI & QA Newsletter, your trusted companion on the journey to mastering data science and artificial intelligence through…
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 16Imandra AI Testing Series — Part 4: From Region Decomposition to Automated Test Case Generation for…After exploring how to generate an IML model and feed it into ImandraX for reasoning in the 3rd edition of this series (Imandra AI Testing…A response icon2A response icon2
InImandra Inc.byDenis Ignatovich·Mar 13Managing Complexity with Math and Logic: Changing Stripe Payment Flow with Claude and CodeLogicianThere’s a growing belief that AI coding agents can handle complex business logic — payment flows, approval workflows, compliance rules. And…
InAI & QA NexusbySuresh Madhusanka Rodrigo·Mar 12Imandra AI Testing Series — Part 3: From Python Decision Logic to IML Models and BeyondIn this 3rd installment of the Imandra AI Testing Series, it shifts from theory to practice. After laying the groundwork with foundational…
