all AI news logo
all AI news - Your AI news aggregator
Log in Sign up
all AI news

Researchers develop AI-driven machine-checking method for verifying software code

Add to bookmarks
Jan. 4, 2024, 6:13 p.m. |

News on Artificial Intelligence and Machine Learning techxplore.com

A team of computer scientists led by the University of Massachusetts Amherst recently announced a new method for automatically generating whole proofs that can be used to prevent software bugs and verify that the underlying code is correct.

bugs code computer machine massachusetts researchers scientists software team university verify

Visit resource

More from techxplore.com / News on Artificial Intelligence and Machine Learning

How artificial intelligence can transform U.S. energy infrastructure 5 days, 23 hours ago | techxplore.com
artificial artificial intelligence carbon change +15
Deepfake of principal's voice is the latest case of AI being used for harm 6 days ago | techxplore.com
artificial artificial intelligence case deepfake +10
Financial Times enters ChatGPT content deal 6 days ago | techxplore.com
chatbot chatgpt deal financial +7
Researchers create verification techniques to increase security in AI and image processing 6 days, 1 hour ago | techxplore.com
computing create efficiency europe +14
Researchers use ChatGPT for choreographies with flying robots 6 days, 1 hour ago | techxplore.com
chatgpt drones filter flying +14
Microsoft expands its AI empire abroad 1 week, 2 days ago | techxplore.com
artificial artificial intelligence billion business +8
Microsoft claims that small, localized language models can be powerful as well 1 week, 4 days ago | techxplore.com
ai language models arxiv business cost +13
Research team develops novel metric for evaluation of risk-return tradeoff in off-policy evaluation 1 week, 4 days ago | techxplore.com
decision error evaluation however +20
A new framework to generate human motions from language prompts 1 week, 5 days ago | techxplore.com
advanced algorithms become compiling +14

Jobs in AI, ML, Big Data

Post a job on ai-jobs.net Find talent on ai-jobs.net

Founding AI Engineer, Agents

@ Occam AI | New York
View on ai-jobs.net

AI Engineer Intern, Agents

@ Occam AI | US
View on ai-jobs.net

AI Research Scientist

@ Vara | Berlin, Germany and Remote
View on ai-jobs.net

Data Architect

@ University of Texas at Austin | Austin, TX
View on ai-jobs.net

Data ETL Engineer

@ University of Texas at Austin | Austin, TX
View on ai-jobs.net

Lead GNSS Data Scientist

@ Lurra Systems | Melbourne
View on ai-jobs.net
View more jobs