Explainable AI Matching Proposals and Verification