SiliconANGLE

Imandra’s new AI coding assistant CodeLogician uses ‘reasoning’ to guarantee the accuracy of its code

A startup called Imandra Inc. says it’s taking artificial intelligence-driven code completion to the next level with the launch of an entirely new and automated reasoning system called CodeLogician.

Google unveils Gemma 4 12B for local AI agents, coding, and multimodal reasoning

Google DeepMind has introduced Gemma 4 12B, a new open-weight multimodal model designed to bring agentic intelligence ...
VentureBeat

Mistral's Small 4 consolidates reasoning, vision and coding into one model — at a fraction of the inference cost

Enterprises that have been juggling separate models for reasoning, multimodal tasks, and agentic coding may be able to simplify their stack: Mistral’s new Small 4 brings all three into a single ...
SiliconANGLE

OpenAI, Google reasoning models achieve gold-level scores in ICPC coding contest

OpenAI and Google LLC today disclosed that their latest reasoning models achieved gold-level performance in a recent coding competition. The ICPC, as the event is called, is the world’s most ...
VentureBeat

Meta's new structured prompting technique makes LLMs significantly better at code review — boosting accuracy to 93% in some cases

Deploying AI agents for repository-scale tasks like bug detection, patch verification, and code review requires overcoming significant technical hurdles. One major bottleneck: the need to set up ...