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: Power efficiency together with speed and design area optimization represent essential factors which matter significantly for contemporary digital circuit design activities including embedded ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback