arxiv:2601.18778
Julia Kempe
Knykny
AI & ML interests
None yet
Recent Activity
upvoted a paper 12 days ago
h1: A Taste of the Bitter Lesson in Automated Theorem Proving upvoted a paper about 2 months ago
Learning to Discover Interesting Mathematics submitted a paper about 2 months ago
Learning to Discover Interesting MathematicsOrganizations
models 0
None public yet
datasets 0
None public yet