IEEE

Power-Estimation Trade-Off of Vector-Valued Witsenhausen Counterexample With Causal Decoder

Abstract: The vector-valued extension of the famous Witsenhausen counterexample setup is studied where the encoder, i.e. the first decision maker, non-causally knows and encodes the i.i.d. state ...
Quanta Magazine

Mathematician Disproves 80-Year-Old Algebra Conjecture

Inside the symmetries of a crystal shape, a postdoctoral researcher has unearthed a counterexample to a basic conjecture about multiplicative inverses. “I’m nearly at the end of the talk, and it’s ...
marktechpost

Boosting AI Math Skills: How Counterexample-Driven Reasoning is Transforming Large Language Models

Mathematical Large Language Models (LLMs) have demonstrated strong problem-solving capabilities, but their reasoning ability is often constrained by pattern recognition rather than true conceptual ...
GitHub

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization

This is the implementation of Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization [1] accepted at AAAI 2025. In this work, we propose a novel approach ...
IEEE

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving

Abstract: Generative large language models (LLMs) can follow human-provided instruction prompts and generate human-like responses. Apart from natural language responses, they have been found to be ...