Models Can and Should Embrace the Communicative Nature of Human-Generated Math

Sasha Boguraev, Ben Lipkin, Leonie Weissweiler +1

Math is constructed by people for people: just as natural language corpora reflect not just propositions but the communicative goals of language users, the math data that models ar…