PubPeer
The online Journal club
login
create account
Home
Publications
Automating Formalization by Statistical and Semantic Parsing of Mathematics
Lecture Notes in Computer Science (2017) -
Comments
doi: 10.1007/978-3-319-66107-0_2 issn: 0302-9743 issn: 1611-3349
Cezary Kaliszyk, Josef Urban, Jiří Vyskočil
Go to article
Go to preprint
Springer International Publishing
Comments awaiting moderation ({{totalComments}})
Review last reports ({{totalReports}})
Review last email suggestions ({{totalPendingEmails}})
Last month's whitelisted comments ({{totalWhitelistedComments}})