Report done for UIUC’s CS 521 Trustworthy AI Systems. I use non-LLM-based program synthesis to create effective structured audits, which are programs that parse chains of thought and return a value indicating confidence in the output.