conftrace_

lambda function

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural program search (1) higher-order function (1) neural policy network (1) semantic vector representation (1) semantic embedding (1) program synthesis (1)

Papers

LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas NeurIPS 2023