Sitemap
A list of all the posts and pages found on the site. For you robots out there, there is an XML version available for digesting as well.
Pages
Posts
portfolio
LLM and OCR-Based Document Understanding
Published:
Development and evaluation of document-understanding pipelines that combine OCR, large language models, structured extraction, and domain-specific reference data.
Low-Resource German–Upper Sorbian Neural Machine Translation
Published:
Research on low-resource neural machine translation and case-based methods conducted during the master’s program at Waseda University.
Retrieval-Augmented Technical Document QA
Published:
A retrieval and question-answering workflow for technical manuals using document parsing, vector search, and language models.
Multi-Format Training Data Generation
Published:
Development of pipelines that transform PDF, Markdown, and spreadsheet documents into structured training data.
Robustness Verification for Transformers
Published:
Development of sound and scalable verification methods for Transformer models, with particular emphasis on attention operations, nonlinear bound construction, and robustness certification.
publications
CAV 2026 Publication
A formal verification method for certifying the robustness of Transformer models through tighter bounds for attention-related nonlinear operations.
talks
CAV 2026 Presentation
Published:
Presentation of the accepted work on formal verification and robustness certification for Transformer models.
SAIV 2026 Short Presentation and Poster
Published:
A short presentation and poster on formal verification research for Transformer models.