Tech Xplore on MSN

Algorithm offers faster, more reliable control over language model outputs

A paper co-authored by Prof. Alex Lew has been selected as one of four "Outstanding Papers" at this year's Conference on Language Modeling (COLM 2025), held in Montreal in October.
ZDNet

How logic can help AI models tell more truth, according to AWS

The term "reasoning" is a familiar metaphor in today's artificial intelligence (AI) technology, often used to describe the verbose outputs generated by so-called reasoning AI models such as OpenAI's ...
Hosted on MSN

Researchers develop more efficient language model control method

A team of researchers has successfully developed a more efficient method to control the outputs of large language models (LLMs), addressing one of the key challenges in artificial intelligence text ...
Absolute Geeks

DeepSeek unveils math-focused model designed for rigorous theorem proving

V2, a new math-oriented model aimed at improving how AI systems approach formal reasoning. The release follows the company’s ...
Ars Technica

OpenAI’s new “CriticGPT” model is trained to scrutinize GPT-4 outputs

On Thursday, OpenAI researchers unveiled CriticGPT, a new AI model designed to identify mistakes in code generated by ChatGPT. It aims to enhance the process of making AI systems behave in ways humans ...
TechCrunch

Why DeepSeek’s new AI model thinks it’s ChatGPT

Earlier this week, DeepSeek, a well-funded Chinese AI lab, released an “open” AI model that beats many rivals on popular benchmarks. The model, DeepSeek V3, is large but efficient, handling text-based ...