To look at the sum of squares explicitly, you can view the .txt files which contain each of the 41 polynomials and each of the 41 (positive) coefficients. If you square each polynomial, then multiply ...

Counterexample- and proof-based refinement are complementary approaches to iterative abstraction. In the former case, a single abstract counterexample is eliminated by each refinement step, while in ...

Abstract: Providing evidence for the refutation of a property is an essential, if not the most important, feature of model checking. This paper considers algorithms for counterexample generation for ...

Given a nonempty compact connected subset $X\subset {\Bbb S}^{2}$ with complement a simply-connected open subset $\Omega \subset {\Bbb S}^{2}$, let Dome(Ω) be the ...

This is a preview. Log in through your library . Abstract We construct a counterexample to the "hot spots" conjecture; there exists a bounded connected planar domain (with two holes) such that the ...

Abstract: This letter reveals the incorrect argumentation, erroneous mathematical calculations, and misleading observations reported in the article titled “Counterexample to Passivity Preservation for ...

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

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