Prompt-only theorem proving with adversarial LLM agents

(tjoresearchnotes.wordpress.com) by justanotherprof | Jan 2, 2026 | 0 comments on HN