%0 Journal Article %1 journals/corr/abs-2102-02110 %A Coavoux, Maximin %A Cohen, Shay B. %D 2021 %J CoRR %K dblp %T Learning to Match Mathematical Statements with Proofs. %U http://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-02110 %V abs/2102.02110

@article{journals/corr/abs-2102-02110, added-at = {2021-02-09T00:00:00.000+0100}, author = {Coavoux, Maximin and Cohen, Shay B.}, biburl = {https://www.bibsonomy.org/bibtex/2fd7550b2375ecaad72edc8a7cc59fa7f/dblp}, ee = {https://arxiv.org/abs/2102.02110}, interhash = {c1962b8d2c5d68b57f8b1d32f0f83a2d}, intrahash = {fd7550b2375ecaad72edc8a7cc59fa7f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:14:17.000+0200}, title = {Learning to Match Mathematical Statements with Proofs.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2102.html#abs-2102-02110}, volume = {abs/2102.02110}, year = 2021 }