index.xml

<?xml version="1.0" encoding="utf-8" standalone="yes"?><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>AI Verification</title><link>/</link><description>Recent content on AI Verification</description><generator>Hugo</generator><language>en-US</language><copyright>Copyright (c) 2026 AI Verification Research Group</copyright><lastBuildDate>Wed, 04 Feb 2026 00:00:00 +0000</lastBuildDate><atom:link href="/index.xml" rel="self" type="application/rss+xml"/><item><title>Bit-Precise Verification of Neural Networks</title><link>/projects/qnns/</link><pubDate>Wed, 12 Nov 2025 00:00:00 +0000</pubDate><guid>/projects/qnns/</guid><description>&lt;p&gt;Deploying neural network components within safety-critical systems may increase the risk of catastrophic failure. Indeed, neural networks are often seen as black boxes that deliver great accuracy on average, but may unpredictably fail in some corner cases (adversarial examples, hallucinations). While the latter may be acceptable in non-critical applications, their presence is a case for concern in the aerospace, medical, and transportation domains.&lt;/p&gt;</description></item><item><title>Example Post</title><link>/blog/example-post/</link><pubDate>Thu, 07 Sep 2023 16:27:22 +0200</pubDate><guid>/blog/example-post/</guid><description>You can use blog posts for announcing product updates and features.</description></item><item><title>Example Guide</title><link>/docs/guides/example-guide/</link><pubDate>Thu, 07 Sep 2023 16:04:48 +0200</pubDate><guid>/docs/guides/example-guide/</guid><description>&lt;p&gt;Guides lead a user through a specific task they want to accomplish, often with a sequence of steps. Writing a good guide requires thinking about what your users are trying to do.&lt;/p&gt;</description></item><item><title>Example Reference</title><link>/docs/reference/example-reference/</link><pubDate>Thu, 07 Sep 2023 16:13:18 +0200</pubDate><guid>/docs/reference/example-reference/</guid><description>&lt;p&gt;Reference pages are ideal for outlining how things work in terse and clear terms. Less concerned with telling a story or addressing a specific use case, they should give a comprehensive outline of what your documenting.&lt;/p&gt;</description></item><item><title>Resources</title><link>/docs/resources/</link><pubDate>Tue, 27 Feb 2024 09:30:56 +0100</pubDate><guid>/docs/resources/</guid><description>&lt;p&gt;Link to valuable, relevant resources.&lt;/p&gt;</description></item><item><title>Supermartingale Certificates</title><link>/projects/supermartingale-certificates-1/</link><pubDate>Wed, 04 Feb 2026 00:00:00 +0000</pubDate><guid>/projects/supermartingale-certificates-1/</guid><description>&lt;p&gt;Dynamical systems are a useful language for many problems in AI: robots interacting with the world, learning-enabled controllers, optimization dynamics, epidemiological and economic simulators, and (more broadly) any process that evolves over time according to a known set of rules.&lt;/p&gt;</description></item><item><title>Neural Model Checking</title><link>/projects/neuralmc/</link><pubDate>Sat, 28 Jun 2025 00:00:00 +0000</pubDate><guid>/projects/neuralmc/</guid><description>&lt;h1 id="why-model-checking"&gt;Why Model Checking?&lt;/h1&gt;
&lt;p&gt;Humans make mistakes—and so do the AI tools the mordern work-force increasingly rely on. Some slip-ups are trivial (a banner in the wrong place), while others can halt a service, sink a company, or even endanger lives. Traditional testing helps, but history shows that many disasters slipped through “good enough” test suites.&lt;/p&gt;</description></item><item><title>Abhinandan Pal (Obi)</title><link>/team/obi/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>/team/obi/</guid><description/></item><item><title>Diptarko Roy</title><link>/team/dip/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>/team/dip/</guid><description/></item><item><title>Edoardo Manino</title><link>/team/edoardo/</link><pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate><guid>/team/edoardo/</guid><description/></item></channel></rss>