Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. - Taro Sekiyama; Akifumi Imanishi; Kohei Suenaga (CoRR, 2017)

A guess-and-assume approach to loop fusion for program verification. - Akifumi Imanishi; Kohei Suenaga; Atsushi Igarashi (PEPM, 2018)

Automated Verification of Functional Correctness of Race-Free GPU Programs. - Kensuke Kojima; Akifumi Imanishi; Atsushi Igarashi (J. Autom. Reason., 2018)

A fast heuristic to optimize time-space tradeoff for large models. - Akifumi Imanishi; Zijian Xu 004; Masayuki Takagi; Sixue Wang; Emilio Castillo (NeurIPS, 2023)

A Heuristic for Periodic Memory Allocation with Little Fragmentation to Train Neural Networks. - Akifumi Imanishi; Zijian Xu 004 (ISMM, 2024)