Akifumi Imanishi

According to our database, Akifumi Imanishi authored at least 4 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A fast heuristic to optimize time-space tradeoff for large models.

Akifumi Imanishi, Zijian Xu, Masayuki Takagi, Sixue Wang, Emilio Castillo

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2018

Automated Verification of Functional Correctness of Race-Free GPU Programs.

Kensuke Kojima, Akifumi Imanishi, Atsushi Igarashi

J. Autom. Reason., 2018

A guess-and-assume approach to loop fusion for program verification.

Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018

2017

Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.

Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga

CoRR, 2017