• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Paulo Emílio de VilhenaFranç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