-
Looking forward to reading the full paper soon, but definitely check out the section on semantic search in mathematics. We can use tech to facilitate our work in pure mathematics without having to go full formalization all at once. @XenaProject @mathHOb/1473835912320598016On twitter.com
❤️ 2 Favorites Mood +1 🙂