Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
justanotherprof | Dark Hacker News
user:
justanotherprof
created:
July 2, 2014
karma:
13
submissions
comments
1.
Prompt-only theorem proving with adversarial LLM agents
(tjoresearchnotes.wordpress.com)
2 points
by
justanotherprof
139 days ago
|
0 comments