This is a preview. Log in through your library . Abstract Consider first-passage percolation on the square lattice. Hammersley and Welsh, who introduced the subject in 1965, conjectured that the ...

Abstract: In this paper, we propose a counterexample-guided diagnosis approach to identify faults in circuit designs described as net-lists on the gate-level. Given a faulty net-list and a logic ...

Sungho Choi has criticised Michael Strevens’s counterexample to David Lewis’s final theory of “token” causation, causation as “influence.” I argue that, even if Choi’s points are correct, Strevens’s ...

Abstract: Since Witsenhausen put forward his remarkable counterexample in 1968, there have been many attempts to develop efficient methods for solving this non-convex functional optimization problem.

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

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