MIT researchers use large language models to flag problems in complex systems#Large Language Models#Time Series#Verification·news.mit.edu·Aug 16, 2024MIT researchers use large language models to flag problems in complex systems
OpenAI Builds AI to Critique AI#OpenAI#ChatGPT#Coding#Verification#Large Language Models·spectrum.ieee.org·Jun 27, 2024OpenAI Builds AI to Critique AI
DafnyBench: A Benchmark for Formal Software VerificationView PDF#AI#Verification#Paper#PDF#Benchmark#Software Engineering#Machine Learning#Programming Languages·arxiv.org·Jun 14, 2024DafnyBench: A Benchmark for Formal Software Verification
Understanding the source of what we see and hear online | OpenAI#OpenAI#Verification#Authentication#Classification#Content·openai.com·May 7, 2024Understanding the source of what we see and hear online | OpenAI
Black-Box Access is Insufficient for Rigorous AI AuditsDownload PDF#Verification#Regulation#AI#Paper#PDF·arxiv.org·Jan 30, 2024Black-Box Access is Insufficient for Rigorous AI Audits
Nikon, Sony and Canon fight AI fakes with new camera tech#Camera#Photography#Verification·asia.nikkei.com·Jan 8, 2024Nikon, Sony and Canon fight AI fakes with new camera tech
How to spot AI-generated text#Verification#Generative Speech#Writing Style·technologyreview.com·Dec 19, 2022How to spot AI-generated text
Formal Verification of Distributed Network Control Planes#Networks#Verification·youtube.com·Jun 22, 2022Formal Verification of Distributed Network Control Planes