Abstract: We developed an algorithm for inferring controller logic for cyber-physical systems (CPS) in the form of a state machine from given execution traces and linear temporal logic formulas. The ...

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

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

[This aims to provide supplementary materials for the paper (OOPSLA2025) titled:"Efficient Incremental Verification of Neural Networks Guided by Counterexample Potentiality" with more details and ...

This is a preview. Log in through your library . Abstract I survey Brouwer's weak counterexamples to classical theorems, with a view to discovering (i) what useful mathematical work is done by weak ...

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

Studia Logica: An International Journal for Symbolic Logic, Vol. 101, No. 1 (February 2013), pp. 31-44 (14 pages) Provability logic is a modal logic for studying properties of provability predicates, ...