2024
Planning In Natural Language Improves LLM Search For Code Generation.
CoRR, 2024

A Careful Examination of Large Language Model Performance on Grade School Arithmetic.
CoRR, 2024

2020
Echidna: effective, usable, and fast fuzzing for smart contracts.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

2015
An Empirical Evaluation of Deep Learning on Highway Driving.
CoRR, 2015