If you're interested in these kinds of things, many years ago we created TerpreT (https://arxiv.org/pdf/1608.04428.pdf and https://github.com/51alg/TerpreT) to look into generic program synthesis problems, using a set…
There's been a long, long tradition of software verification at Microsoft; look for SLAM (the original research backing the Static Driver Verifier), Yogi (SDV backend V2), Slayer (generic memory safety) and Terminator…
That's an interesting question which we haven't studied so far. There is a good argument to be made that ML models trained on public data do not work well on private data on the interesting queries, where I consider…
This is a release of a dataset, to help people train machine learning models. That's why the blog post says "We’re also releasing a large dataset to help data scientists build models for this task." We also provide a…
We only used code from repos that github has marked as using a non-copyleft open source license (i.e., we had an explicit license whitelist and used only repos matching that).
[I'm one of the Microsoft Research people who worked on this] There are many interesting ideas that you could build on top of this kind of data, and we only scratched the surface so far. For example, the simple "search"…
[I'm one of the Microsoft Research people who worked on this] We used the repo-level license information from github to filter to free non-copyleft licenses, and the license files are actually stored next to the…
[I'm one of the Microsoft Research people who worked on this] All code is from public repositories. We only used publicly available APIs to obtain the data, so that others can reproduce the results / build on top of the…
If you're interested in these kinds of things, many years ago we created TerpreT (https://arxiv.org/pdf/1608.04428.pdf and https://github.com/51alg/TerpreT) to look into generic program synthesis problems, using a set…
There's been a long, long tradition of software verification at Microsoft; look for SLAM (the original research backing the Static Driver Verifier), Yogi (SDV backend V2), Slayer (generic memory safety) and Terminator…
That's an interesting question which we haven't studied so far. There is a good argument to be made that ML models trained on public data do not work well on private data on the interesting queries, where I consider…
This is a release of a dataset, to help people train machine learning models. That's why the blog post says "We’re also releasing a large dataset to help data scientists build models for this task." We also provide a…
We only used code from repos that github has marked as using a non-copyleft open source license (i.e., we had an explicit license whitelist and used only repos matching that).
[I'm one of the Microsoft Research people who worked on this] There are many interesting ideas that you could build on top of this kind of data, and we only scratched the surface so far. For example, the simple "search"…
[I'm one of the Microsoft Research people who worked on this] We used the repo-level license information from github to filter to free non-copyleft licenses, and the license files are actually stored next to the…
[I'm one of the Microsoft Research people who worked on this] All code is from public repositories. We only used publicly available APIs to obtain the data, so that others can reproduce the results / build on top of the…