Proof-Augmented Retrieval and | Pangram Labs