arxmliv 08.2018 release
arxmliv 08.2018 release:
- Ready with the dataset repository and description for SIGMathLing website
- Working on the embedding generation and release, at which point this PR can be merged
Edited by Deyan Ginev
arxmliv 08.2018 release: