Login / Signup

Cakes That Bake Cakes: Dynamic Computation in CakeML.

Thomas SewellMagnus O. MyreenYong Kiam TanRamana KumarAlexander MihajlovicOskar AbrahamssonScott Owens
Published in: Proc. ACM Program. Lang. (2023)
Keyphrases
  • databases
  • learning algorithm
  • feature selection
  • similarity measure
  • reinforcement learning
  • learning environment
  • control system
  • probabilistic model
  • dynamic environments
  • privacy preserving
  • efficient computation