Proceedings

Yutaka Nagashima

1 paper in the IJCAI proceedings

IJCAI 2021

Faster Smarter Proof by Induction in Isabelle/HOL
doi:10.24963/ijcai.2021/273
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards