The official code release for Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
Primary LanguagePython
No one’s watching this repository yet.