Akifumi Imanishi -

Not registered as user yet

Name:Akifumi Imanishi

Affiliation:Kyoto University

Contributions

Off the Beaten Track 2018	Author of Towards Proof Synthesis by Neural Machine Translation within the Off the Beaten Track 2018-track
PEPM 2018	Author of A Guess-and-Assume Approach to Loop Fusion for Program Verification within the PEPM 2018-track