okintheory Karma 422 Created 11 years ago Recent Submissions 1. ▲ Assessing GPT Performance in a Proof-Based University-Level Course (arxiv.org) 4 points · 6 months ago · 0 comments All submissions on HN · View profile on HN