Berkeley News and Analysis

2 verified stories covering Berkeley, product updates and industry developments.

Formal Verification 2026-09-02

Berkeley's Vero Benchmark: Only 27 of 43 Repos Fully Solved

Berkeley's new Vero benchmark has AI agents write code and formal proofs together across whole repositories — even the best model fully solves only 27 of 43 projects.

#AI benchmarks #AI Coding #Berkeley

Embodied AI 2026-07-06

Berkeley robots learn dexterous work from web videos

Berkeley robots learn dexterous work from web videos is reframed for global technology readers, preserving the key numbers, claims and open questions.

#Robotics #Berkeley #Dexterous hands