Inspired by the pedagogical method of "proof by counterexamples" widely used in human mathematics education, our work aims to enhance Large Language Models’ (LLMs) ability to conduct mathematical ...

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 ...

Abstract: Approximate solutions to the Witsenhausen counterexample (1968) are derived by constraining the unknown control functions to take on fixed structures containing "free" parameters to be ...

What began with a focus on weather forecasting has evolved toward addressing errors in scientific modeling. In the collaborative environment of the Penn State Institute for Computational and Data ...