Below is an index of publications written by Microsoft researchers, often in collaboration with the academic community.
Publication
A Survey on Deep Learning for Theorem Proving
Publication
What can Foundation Models’ Embeddings do?
Publication
Gorilla: Teaching LLMs to Use Tools
Publication