research
∙
06/03/2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas
Search is an important technique in program synthesis that allows for ad...
share
research
∙
12/19/2022
Natural Language to Code Generation in Interactive Data Science Notebooks
Computational notebooks, such as Jupyter notebooks, are interactive comp...
research
∙
09/29/2022
I Speak, You Verify: Toward Trustworthy Neural Program Synthesis
We develop an approach for improving the trustworthiness and overall acc...
research
∙
03/30/2018
Multiplying boolean Polynomials with Frobenius Partitions in Additive Fast Fourier Transform
We show a new algorithm and its implementation for multiplying bit-polyn...
research
∙
02/12/2018
Frobenius Additive Fast Fourier Transform
In ISSAC 2017, van der Hoeven and Larrieu showed that evaluating a polyn...
research
∙
08/31/2017
