Non-Halting Queries presented at SaTML 2025.