justanotherprof
No user record in our sample, but justanotherprof has activity below (stories or comments). Likely we have partial data — the full bulk-load will fill profiles in.
- Prompt-only theorem proving with adversarial LLM agents (tjoresearchnotes.wordpress.com)