| Time | Content | Speaker |
|---|---|---|
| 13:00 - 13:10 | Opening | |
| 13:10 - 13:40 | Analyzing Mathematical Content to Detect Disguised Scientific Plagiarism | Ankit Satpute |
| 13:40 - 13:50 | break | |
| 13:50 - 14:50 | Language model for understanding variables in documents on chemical engineering | Shota Kato |
| 14:50 - 15:00 | break | |
| 15:00 - 16:00 | Recent work with the ALEXANDRIA project | Yiannos Stathopoulos |
| 16:00 - 16:10 | break | |
| 16:10 - 17:10 | Toward Extension and Application of the Formula Grounding Dataset | Takuto Asakura |
| Time | Content | Speaker |
|---|---|---|
| 10:00 - 10:15 | A case study of formula grounding annotation | Taiga Ishii |
| 10:15 - 10:30 | break | |
| 10:30 - 11:30 | Mathematics in Natural Language Processing | Andre Greiner-Petter |
| 11:30 - 11:45 | Closing |
| Time | Content | Speaker |
|---|---|---|
| 13:30 - 13:45 | Opening | Takuto Asakura |
| 13:45 - 14:15 | Designing new proof writing environment integrating natural and formal language | Kensho Tsurusaki |
| 14:30 - 15:30 | Towards Automated Physical Model Builder | Shota Kato |
| 15:45 - 16:15 | Information Extraction for Descriptive Parameters of Research Artifacts | Tarek Saier |
| 16:30 - 17:30 | Making Mathematics in Wikipedia Computable | André Greiner-Petter |
| Time | Content | Speaker |
|---|---|---|
| 10:00 - 10:30 | BERTによる論文からの変数定義抽出 | Makishi Yamamoto |
| 10:45 - 11:45 | Automating Formulae Grounding ― The Dataset and the Strategy | Takuto Asakura |
| 11:45 - 12:00 | Closing | Takuto Asakura |
This seminar was supported by “Strategic Research Projects” grant from ROIS (Research Organization of Information and Systems).