Formal Verification and Other Methods for SNAP Error Rate Reduction

The Georgia Department of Human Services is seeking input from suppliers with proven experience in reducing SNAP payment error rates through innovative, operational models. This Request for Information targets solutions that have been implemented in real-world production environments, emphasizing practical results rather than theoretical research. The department is interested in approaches such as formal verification of eligibility logic, rules engine modernization, automated case reviews, and workflow redesigns focused on quality control, with a clear demonstration of their effectiveness in lowering error rates in other states or jurisdictions. The key goal is to identify methodologies that can be adapted to Georgia’s current eligibility systems to reduce the financial impact of SNAP payment errors. Interested parties are invited to submit their information by July 7, 2026, and responses should include concrete evidence of outcomes from prior implementations. The solicitation, identified as PE-42700-RFI-2026-000000012, is part of Georgia’s ongoing efforts to improve the accuracy and efficiency of SNAP benefit delivery, under the oversight of Addrenna Latham at the Department of Human Services.