OpenReview
.net
OpenReview
.net
Login
OpenReview
.net
Login
William E. Byrd
Researcher, University of Alabama at Birmingham
Joined
February 2018
Names
William E. Byrd
(Preferred)
,
William Edward Byrd
Emails
****@uab.edu
(Confirmed)
Personal Links
Homepage
Google Scholar
DBLP
ORCID
Semantic Scholar
Career & Education History
Researcher
University of Alabama at Birmingham
(uab.edu)
2017
–
Present
Researcher
University of Utah
(utah.edu)
2012
–
2017
Researcher
Indiana University
(cs.indiana.edu)
2010
–
2012
Advisors, Relations & Conflicts
Coworker
Jeff Henrikson
2020
–
Present
Coauthor
Nada Amin
2020
–
Present
Coworker
Kaiwen He
2020
–
Present
Coworker
Gregory Rosenblatt
2018
–
Present
Coworker
Andrew Crouse
2018
–
Present
Coworker
John Osborne
2018
–
Present
Postdoc Advisor
Matthew Might
2012
–
Present
Coauthor
Michael Ballantyne
2012
–
Present
PhD Advisee
Michael J. Patton
2018
–
2025
Postdoc Advisor
Andrew Lumsdaine
2010
–
2012
Coauthor
Raman Kumar
2007
–
2010
PhD Advisor
Daniel P. Friedman
2004
–
2009
Expertise
logic programming
2004
–
Present
relational programming
2004
–
Present
miniKanren
2004
–
Present
functional programming
2000
–
Present
Scheme
2000
–
Present
Publications
VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search
David Brandfonbrener
,
Simon Henniger
,
Sibi Raja
,
Tarun Prasad
,
Chloe R Loughridge
,
Federico Cassano
,
Sabrina Ruixin Hu
,
Jianang Yang
,
William E. Byrd
,
Robert Zinkov
,
Nada Amin
MATH-AI 24
Readers:
Everyone
Multi-objective generative AI for designing novel brain-targeting small molecules
Ayush Noori
,
Iñaki Arango
,
William E. Byrd
,
Nada Amin
GEM Poster
Readers:
Everyone
Neural Guided Constraint Logic Programming for Program Synthesis
Lisa Zhang
,
Gregory Rosenblatt
,
Ethan Fetaya
,
Renjie Liao
,
William E. Byrd
,
Matthew Might
,
Raquel Urtasun
,
Richard S. Zemel
2018 (modified: 11 Nov 2022)
NeurIPS 2018
Readers:
Everyone
Co-Authors
Ayush Noori
Chloe R Loughridge
David Brandfonbrener
Ethan Fetaya
Federico Cassano
Gregory Rosenblatt
Iñaki Arango
Jianang Yang
Lisa Zhang
Matthew Might
Nada Amin
Raquel Urtasun
Renjie Liao
Richard S. Zemel
Robert Zinkov
Sabrina Ruixin Hu
Sibi Raja
Simon Henniger
Tarun Prasad