conftrace_

verifiable

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

code lms (1) programmatic tasks (1) toolbox (1) ball (1) efficient (1) verification (1) adversarial (1) human verification (1) mixed integer programming (1) scalability (1)

Papers

LEVIS: Large Exact Verifiable Input Spaces for Neural Networks ICML 2025 TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks ICML 2024