Hacker News new | ask | show | jobs
Prompt-only theorem proving with adversarial LLM agents (tjoresearchnotes.wordpress.com)
2 points by justanotherprof 165 days ago