Login / Signup

Boltzmann Samplers for Closed Simply-Typed Lambda Terms.

Maciej BendkowskiKatarzyna GrygielPaul Tarau
Published in: PADL (2017)
Keyphrases
  • neural network
  • higher order
  • generative model
  • lambda calculus
  • quality measures
  • random sampling