Abstract: The quality of modern software relies heavily on the effective use of static code analysis tools. To improve their usefulness, these tools should be evaluated using a framework that ...

Abstract: Visual program synthesis is a promising approach to ex-ploit the reasoning abilities of large language models for compositional computer vision tasks. Previous work has used few-shot ...