Skip to content

Top New Best Ask Show Jobs

justanotherprof | Better HN

justanotherprof

13 karmaJoined July 2, 20146 submissions

Recent submissions

1

Prompt-only theorem proving with adversarial LLM agents (opens in new tab)

(tjoresearchnotes.wordpress.com)

2justanotherprof2mo ago0