Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Incremental Neural Network Verification via Learned Conflicts
Raya Elsaleh, Liam Davis, Haoze Wu +1
Neural network verification is often used as a core component within larger analysis procedures, which generate sequences of closely related verification queries over the same netw…
cs.LO2025
Two Optimizations on the Stålmarck Procedure
Sergei Leonov, Liam Davis
In this paper, we introduce StalmarckSAT, the a modern re-implementation of the StÃ¥lmarck Procedure for SAT solving, and present two novel strategies to improve the Procedure, Car…