1Prompt-only theorem proving with adversarial LLM agents (opens in new tab)(tjoresearchnotes.wordpress.com)2justanotherprof2mo ago0