Hacker News new | ask | show | jobs
user: justanotherprof
created: 2014-07-02
karma: 13

submissions:

0 points | 0 comments
0 points | 0 comments
Prompt-only theorem proving with adversarial LLM agents
2 points | 0 comments
0 points | 0 comments
0 points | 0 comments
0 points | 0 comments