Our work on semantic representations for mathematical expressions is published in TMLR (Paper).