Learning to Discover Interesting Mathematics
A 27B model ranks mathematical theorems by interestingness and cuts Mathlib overlap from 91.9% to 30.6%.
1 stories, newest first · one card per story
A 27B model ranks mathematical theorems by interestingness and cuts Mathlib overlap from 91.9% to 30.6%.
Today 1.6K readers · 2.5K views · 779 reads · all time 189K views