@misc{indiciae3edd58229258, title = {From Policy to Logic for Efficient and Interpretable Coverage Assessment}, author = {Rhitabrat Pokharel and Hamid Reza Hassanzadeh and Ameeta Agrawal}, year = {2026}, url = {https://arxiv.org/abs/2601.01266}, note = {Source identifier: 2601.01266} }