{"id":135466,"date":"2022-02-11T01:22:35","date_gmt":"2022-02-11T09:22:35","guid":{"rendered":"https:\/\/lifeboat.com\/blog\/2022\/02\/automated-reasonings-scientific-frontiers"},"modified":"2022-02-11T01:22:35","modified_gmt":"2022-02-11T09:22:35","slug":"automated-reasonings-scientific-frontiers","status":"publish","type":"post","link":"https:\/\/lifeboat.com\/blog\/2022\/02\/automated-reasonings-scientific-frontiers","title":{"rendered":"Automated reasoning\u2019s scientific frontiers"},"content":{"rendered":"<p><\/p>\n<p><iframe style=\"display: block; margin: 0 auto; width: 100%; aspect-ratio: 4\/3; object-fit: contain;\" src=\"https:\/\/www.youtube.com\/embed\/3kM2hFNZAio?feature=oembed\" frameborder=\"0\" allow=\"accelerometer; autoplay; encrypted-media; gyroscope;\n   picture-in-picture\" allowfullscreen><\/iframe><\/p>\n<p>Byron Cook, the head of Amazon\u2019s automated-reasoning (AR) group, think his field is entering a \u201cgolden era\u201d, driven by a virtuous cycle of improving tools and b\u2026 See more.<\/p>\n<hr>\n<p>Distributing proof search, reasoning about distributed systems, and automating regulatory compliance are just three fruitful research areas.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Byron Cook, the head of Amazon\u2019s automated-reasoning (AR) group, think his field is entering a \u201cgolden era\u201d, driven by a virtuous cycle of improving tools and b\u2026 See more. Distributing proof search, reasoning about distributed systems, and automating regulatory compliance are just three fruitful research areas.<\/p>\n","protected":false},"author":359,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1498,6],"tags":[],"class_list":["post-135466","post","type-post","status-publish","format-standard","hentry","category-augmented-reality","category-robotics-ai"],"_links":{"self":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/135466","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/users\/359"}],"replies":[{"embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/comments?post=135466"}],"version-history":[{"count":0,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/posts\/135466\/revisions"}],"wp:attachment":[{"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/media?parent=135466"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/categories?post=135466"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/lifeboat.com\/blog\/wp-json\/wp\/v2\/tags?post=135466"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}