Prompt-only theorem proving with adversarial LLM agents

 (tjoresearchnotes.wordpress.com)

1 points | by justanotherprof 1 hour ago

0 comments