conftrace_

neural policy network

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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