Prompt-only theorem proving with adversarial LLM agents (tjoresearchnotes.wordpress.com) 2 points by justanotherprof 10mo ago ↗ HN
0 comments
[ 3.4 ms ] story [ 17.9 ms ] threadNo comments yet.