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 2 weeks, 6 days ago | techxplore.com
artificial artificial intelligence carbon change +15
Deepfake of principal's voice is the latest case of AI being used for harm 2 weeks, 6 days ago | techxplore.com
artificial artificial intelligence case deepfake +10
Financial Times enters ChatGPT content deal 2 weeks, 6 days ago | techxplore.com
chatbot chatgpt deal financial +7
Researchers create verification techniques to increase security in AI and image processing 2 weeks, 6 days ago | techxplore.com
computing create efficiency europe +14
Researchers use ChatGPT for choreographies with flying robots 2 weeks, 6 days ago | techxplore.com
chatgpt drones filter flying +14
Microsoft expands its AI empire abroad 3 weeks, 3 days ago | techxplore.com
artificial artificial intelligence billion business +8
Microsoft claims that small, localized language models can be powerful as well 3 weeks, 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 3 weeks, 5 days ago | techxplore.com
decision error evaluation however +20
A new framework to generate human motions from language prompts 3 weeks, 6 days ago | techxplore.com
advanced algorithms become compiling +14

Jobs in AI, ML, Big Data

Post a Job Search Talent

Software Engineer for AI Training Data (School Specific)

@ G2i Inc | Remote
View on ai-jobs.net

Software Engineer for AI Training Data (Python)

@ G2i Inc | Remote
View on ai-jobs.net

Software Engineer for AI Training Data (Tier 2)

@ G2i Inc | Remote
View on ai-jobs.net

Data Engineer

@ Lemon.io | Remote: Europe, LATAM, Canada, UK, Asia, Oceania
View on ai-jobs.net

Artificial Intelligence – Bioinformatic Expert

@ University of Texas Medical Branch | Galveston, TX
View on ai-jobs.net

Lead Developer (AI)

@ Cere Network | San Francisco, US
View on ai-jobs.net