Byron Cook

3 weeks ago | brainstorm.itweb.co.za | Byron Cook |Tiana Cline

The science of being certain When automated reasoning turns computer decisions into mathematical proofs, it promises certainty. Is this the key to unlocking AI we can trust? 01 April 2025 For over two decades, Professor Byron Cook has been trying to get computers to prove mathematical theorems. In other words, getting machines to verify, with absolute certainty, whether something is true or false. He says it’s the kind of work that used to make for awkward dinner party conversations.

Jan 7, 2025 | theregister.com | Byron Cook |Tim Anderson

Interview A notable flaw of AI is its habit of "hallucinating," making up plausible answers that have no basis in real-world data. AWS is trying to tackle this by introducing Amazon Bedrock Automated Reasoning checks. Amazon Bedrock is a managed service for generative AI applications and according to AWS CEO Matt Garman, who spoke at the re:Invent conference in Las Vegas last month, the checks "prevent factual errors due to model hallucinations...

Oct 17, 2024 | aws.amazon.com | Byron Cook

During a recent visit to the Defense Advanced Research Projects Agency (DARPA), I mentioned a trend that piqued their interest: Over the last 10 years of applying automated reasoning at Amazon Web Services (AWS), we’ve found that formally verified code is often more performant than the unverified code it replaces. The reason is that the bug fixes we make during the process of formal verification often positively impact the code’s runtime.

Jun 8, 2023 | arxiv.org | Byron Cook

arXiv:2306.05854 (cs) Download a PDF of the paper titled Partitioning Strategies for Distributed SMT Solving, by Amalee Wilson and 5 other authors Download PDF Submission history From: Amalee Wilson [ view email] [v1] Thu, 8 Jun 2023 16:53:59 UTC (1,367 KB) Bibliographic Tools Bibliographic Explorer Toggle Bibliographic Explorer () Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media DagsHub Toggle DagsHub (What is...

May 14, 2023 | corsicanadailysun.com | Byron Cook

Most non-senior Texas homeowners have seen their total homeowner property tax bills double in the past seven to 10 years. With this in mind, whatever property tax relief we get from the current legislative session will be appreciated. In review, Lieutenant Governor Dan Patrick has been touting State Senate Bill 3 (increased homestead and senior property tax exemptions) as the next “best” solution for mitigating residential property taxes.