HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Akiko Aizawa

Publications
Assimilating the Structure of Formal and Informal Proof
Kensho Tsurusaki and Akiko Aizawa
EasyChair Preprint 6267
MioGatto: A Math Identifier-Oriented Grounding Annotation Tool
Takuto Asakura, Yusuke Miyao, Akiko Aizawa and Michael Kohlhase
EasyChair Preprint 6209

Keyphrases

annotation tool, coreference resolution, formal proof, Grounding of formulae, informal proof, Mathematical Language Processing, natural language, Natural Language Processing, structure.

Copyright © 2012-2025 easychair.org. All rights reserved.