Taylor Lundy

According to our database, Taylor Lundy authored at least 5 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Monte Carlo Forest Search: UNSAT Solver Synthesis via Reinforcement learning.

Chris Cameron, Jason S. Hartford, Taylor Lundy, Tuan Truong, Alan Milligan, Rex Chen, Kevin Leyton-Brown

CoRR, 2022

The Perils of Learning Before Optimizing.

Chris Cameron, Jason S. Hartford, Taylor Lundy, Kevin Leyton-Brown

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2020

Smarter Parking: Using AI to Identify Parking Inefficiencies in Vancouver.

Devon R. Graham, Satish Kumar Sarraf, Taylor Lundy, Ali MohammadMehr, Sara Uppal, Tae-Yoon Lee, Hedayat Zarkoob, Scott Duke Kominers, Kevin Leyton-Brown

CoRR, 2020

Limitations of Incentive Compatibility on Discrete Type Spaces.

Taylor Lundy, Hu Fu

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Allocation for Social Good: Auditing Mechanisms for Utility Maximization.

Taylor Lundy, Alexander Wei, Hu Fu, Scott Duke Kominers, Kevin Leyton-Brown

Proceedings of the 2019 ACM Conference on Economics and Computation, 2019