Showing cs.AIShow all
2 papers · 1 filter
cs.AI2025
The 4/ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
Pierre Dantas, Lucas Cordeiro, Youcheng Sun +1
The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain…
cs.AI2024
Causal Explanations for Image Classifiers
Hana Chockler, David A. Kelly, Daniel Kroening +1
Existing algorithms for explaining the output of image classifiers use different definitions of explanations and a variety of techniques to find them. However, none of the existing…