search

facebookresearch / LAMA

LAnguage Model Analysis
Other
1.34k stars 180 forks source link

Mathematical expression corpus #11

Open nikisix opened 4 years ago

nikisix commented 4 years ago

Could LAMA be augmented to accept mathematical corpi in order to learn a mathematical knowledge base?

patrick-s-h-lewis commented 4 years ago

Hi NikiSix

could you be a little bit more specific? Like in the format of "5 + 4 = ____"?

Patrick

nikisix commented 4 years ago

I was thinking about using LAMA for embeddings and a knowledge basis for proof search (ex. https://arxiv.org/pdf/1701.06972.pdf). That^^ might be a better place to start though.

patrick-s-h-lewis commented 4 years ago

Feel free to give it a go :) but it doesn't seem like a great fit for what LAMA currently does.