Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library.

Paulo Emílio de Vilhena François Pottier

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

computer vision
e learning
database
real time
artificial intelligence
high level
wide range
multi agent systems
trade off