@inproceedings{wang24icml, title = {Tro{VE}: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks}, author = {Zhiruo Wang and Graham Neubig and Daniel Fried}, booktitle = {International Conference on Machine Learning (ICML)}, address = {Vienna, Austria}, month = {July}, url = {https://arxiv.org/pdf/2401.12869}, year = {2024} }