Skip to content

Top New Best Ask Show Jobs

justanotherprof | Better HN

user

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

2justanotherprof4mo ago0