John Loverich
john-glodon
ยท
AI & ML interests
None yet
Recent Activity
upvoted a paper 6 days ago
Think Twice: The Metis-1.6 Technical Report upvoted a paper 11 days ago
h1: A Taste of the Bitter Lesson in Automated Theorem Proving upvoted a paper 11 days ago
Hy-Nomas: Towards Free-form Interactive World Generation