Yutaka Nagashima
Ceské vysoké ucení technické v Praze
H-index: 9
Europe-Czech Republic
Top articles of Yutaka Nagashima
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Check for updates | Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries: 8th International Workshop, BrainLes 2022, Held in Conjunction with MICCAI 2022, Singapore, September 18, 2022, Revised Selected Papers | Segmentation Framework via Optimal Mass Transportation Pre-processing Jia-Wei Liao¹ Tsung-Ming Huang Tiexiang Li | 2023/7/17 |
Template-Based Conjecturing for Automated Induction in Isabelle/HOL | Yutaka Nagashima Zijin Xu Ningli Wang Daniel Sebastian Goc James Bang | 2023/5/4 | |
Genetic Algorithm for Program Synthesis | Yutaka Nagashima | 2023/5/4 | |
Definitional quantifiers realise semantic reasoning for proof by induction | Yutaka Nagashima | 2022/6/22 | |
Faster Smarter Proof by Induction in Isabelle/HOL. | Yutaka Nagashima | 2021 | |
Smart Induction for Isabelle/HOL (System Description) | arXiv preprint arXiv:2001.10834 | Yutaka Nagashima | 2020/1/27 |
Towards united reasoning for automatic induction in Isabelle/HOL | arXiv preprint arXiv:2005.12737 | Yutaka Nagashima | 2020/5/25 |
Smart induction for Isabelle/HOL (tool paper) | Yutaka Nagashima | 2020 | |
Faster Smarter Induction in Isabelle/HOL | arXiv preprint arXiv:2009.09215 | Yutaka Nagashima | 2020/9/19 |
Simple dataset for proof method recommendation in isabelle/hol | Yutaka Nagashima | 2020/7/17 |