{"id":35826,"date":"2024-07-30T05:38:56","date_gmt":"2024-07-30T05:38:56","guid":{"rendered":"https:\/\/krea.edu.in\/ifmrgsb\/?post_type=event_listing&#038;p=35826"},"modified":"2024-07-31T00:45:27","modified_gmt":"2024-07-31T00:45:27","slug":"structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay","status":"expired","type":"event_listing","link":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/","title":{"rendered":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay"},"content":{"rendered":"\n<p class=\"wp-block-paragraph\"><strong>About the Talk<br><\/strong>Neural networks are being used extensively in several safety critical domains, which makes the formal verification of neural networks being deployed in safety critical domains extremely important. However, the size of neural networks remains a major hurdle for verification of neural networks. Structural abstraction of neural networks attempts to solve this problem by starting with a query involving a large network and reducing it to an over-approximate query involving a smaller abstract network. In this talk, Diganta Mukhopadhyay will introduce a wide range of works performing neural network abstraction and present the techniques being used there. Finally, the speaker will present a unifying framework we have developed that brings together several existing approaches for neural network abstraction.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong>About the Speaker<br><\/strong>Diganta Mukhopadhyay is a Researcher at TCS Research, deeply interested in the intersection of formal methods and machine learning. He completed his BSc in Mathematics and Computer Science, and his MSc in Computer Science from Chennai Mathematical Institute. He is currently exploring methods to improve the scalability of verification of deep neural networks.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">This event is open to all.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\"><strong><a href=\"https:\/\/krea-edu-in.zoom.us\/j\/82899569210?pwd=V8paD38mCTuuuJ1RxCx9Bi9alBDclQ.1\">Click to Attend<\/a><\/strong><\/p>\n","protected":false},"featured_media":35828,"template":"","meta":{"_links_to":"","_links_to_target":""},"event_listing_category":[],"event_listing_type":[],"class_list":["post-35826","event_listing","type-event_listing","status-expired","has-post-thumbnail","hentry","entry"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v26.6 (Yoast SEO v26.6) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay - Premier &amp; Leading B-School of India |Best MBA in Finance| Data Science<\/title>\n<meta name=\"description\" content=\"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay\" \/>\n<meta property=\"og:description\" content=\"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay\" \/>\n<meta property=\"og:url\" content=\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/\" \/>\n<meta property=\"og:site_name\" content=\"Premier &amp; Leading B-School of India |Best MBA in Finance| Data Science\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/KreaUniversity\/\" \/>\n<meta property=\"article:modified_time\" content=\"2024-07-31T00:45:27+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png\" \/>\n\t<meta property=\"og:image:width\" content=\"815\" \/>\n\t<meta property=\"og:image:height\" content=\"815\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/png\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:site\" content=\"@kreauniversity\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/\",\"url\":\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/\",\"name\":\"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay - Premier &amp; Leading B-School of India |Best MBA in Finance| Data Science\",\"isPartOf\":{\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png\",\"datePublished\":\"2024-07-30T05:38:56+00:00\",\"dateModified\":\"2024-07-31T00:45:27+00:00\",\"description\":\"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay\",\"breadcrumb\":{\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#primaryimage\",\"url\":\"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png\",\"contentUrl\":\"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png\",\"width\":815,\"height\":815},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/krea.edu.in\/ifmrgsb\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/#website\",\"url\":\"https:\/\/krea.edu.in\/ifmrgsb\/\",\"name\":\"Premier & Leading B-School of India |Best MBA in Finance| Data Science\",\"description\":\"\",\"publisher\":{\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/krea.edu.in\/ifmrgsb\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/#organization\",\"name\":\"IFMR Graduate School of Business\",\"alternateName\":\"IFMRGSB - IFMR Graduate School of Business\",\"url\":\"https:\/\/krea.edu.in\/ifmrgsb\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2020\/08\/IFMR-REGULAR-LOGO.svg\",\"contentUrl\":\"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2020\/08\/IFMR-REGULAR-LOGO.svg\",\"width\":360,\"height\":252,\"caption\":\"IFMR Graduate School of Business\"},\"image\":{\"@id\":\"https:\/\/krea.edu.in\/ifmrgsb\/#\/schema\/logo\/image\/\"},\"sameAs\":[\"https:\/\/www.facebook.com\/KreaUniversity\/\",\"https:\/\/x.com\/kreauniversity\",\"https:\/\/www.instagram.com\/kreauniversity\/\",\"https:\/\/www.youtube.com\/channel\/UC7hu2pt6seIJLMiO0Tqe7XQ\"]}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay - Premier &amp; Leading B-School of India |Best MBA in Finance| Data Science","description":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/","og_locale":"en_US","og_type":"article","og_title":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay","og_description":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay","og_url":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/","og_site_name":"Premier &amp; Leading B-School of India |Best MBA in Finance| Data Science","article_publisher":"https:\/\/www.facebook.com\/KreaUniversity\/","article_modified_time":"2024-07-31T00:45:27+00:00","og_image":[{"width":815,"height":815,"url":"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png","type":"image\/png"}],"twitter_card":"summary_large_image","twitter_site":"@kreauniversity","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/","url":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/","name":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay - Premier &amp; Leading B-School of India |Best MBA in Finance| Data Science","isPartOf":{"@id":"https:\/\/krea.edu.in\/ifmrgsb\/#website"},"primaryImageOfPage":{"@id":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#primaryimage"},"image":{"@id":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#primaryimage"},"thumbnailUrl":"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png","datePublished":"2024-07-30T05:38:56+00:00","dateModified":"2024-07-31T00:45:27+00:00","description":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay","breadcrumb":{"@id":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#primaryimage","url":"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png","contentUrl":"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2024\/07\/Thumbnail.png","width":815,"height":815},{"@type":"BreadcrumbList","@id":"https:\/\/krea.edu.in\/ifmrgsb\/event\/structural-abstractions-of-neural-networks-a-talk-by-diganta-mukhopadhyay\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/krea.edu.in\/ifmrgsb\/"},{"@type":"ListItem","position":2,"name":"Structural Abstractions of Neural Networks \u2013 A Talk by Diganta Mukhopadhyay"}]},{"@type":"WebSite","@id":"https:\/\/krea.edu.in\/ifmrgsb\/#website","url":"https:\/\/krea.edu.in\/ifmrgsb\/","name":"Premier & Leading B-School of India |Best MBA in Finance| Data Science","description":"","publisher":{"@id":"https:\/\/krea.edu.in\/ifmrgsb\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/krea.edu.in\/ifmrgsb\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/krea.edu.in\/ifmrgsb\/#organization","name":"IFMR Graduate School of Business","alternateName":"IFMRGSB - IFMR Graduate School of Business","url":"https:\/\/krea.edu.in\/ifmrgsb\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/krea.edu.in\/ifmrgsb\/#\/schema\/logo\/image\/","url":"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2020\/08\/IFMR-REGULAR-LOGO.svg","contentUrl":"https:\/\/www-cdn.krea.edu.in\/ifmrgsb\/2020\/08\/IFMR-REGULAR-LOGO.svg","width":360,"height":252,"caption":"IFMR Graduate School of Business"},"image":{"@id":"https:\/\/krea.edu.in\/ifmrgsb\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/KreaUniversity\/","https:\/\/x.com\/kreauniversity","https:\/\/www.instagram.com\/kreauniversity\/","https:\/\/www.youtube.com\/channel\/UC7hu2pt6seIJLMiO0Tqe7XQ"]}]}},"_links":{"self":[{"href":"https:\/\/krea.edu.in\/ifmrgsb\/wp-json\/wp\/v2\/event_listing\/35826","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/krea.edu.in\/ifmrgsb\/wp-json\/wp\/v2\/event_listing"}],"about":[{"href":"https:\/\/krea.edu.in\/ifmrgsb\/wp-json\/wp\/v2\/types\/event_listing"}],"wp:attachment":[{"href":"https:\/\/krea.edu.in\/ifmrgsb\/wp-json\/wp\/v2\/media?parent=35826"}],"wp:term":[{"taxonomy":"event_listing_category","embeddable":true,"href":"https:\/\/krea.edu.in\/ifmrgsb\/wp-json\/wp\/v2\/event_listing_category?post=35826"},{"taxonomy":"event_listing_type","embeddable":true,"href":"https:\/\/krea.edu.in\/ifmrgsb\/wp-json\/wp\/v2\/event_listing_type?post=35826"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}