Prompt-only theorem proving with adversarial LLM agents

tjoresearchnotes.wordpress.com