research
∙
11/22/2022
Monte Carlo Forest Search: UNSAT Solver Synthesis via Reinforcement learning
We introduce Monte Carlo Forest Search (MCFS), an offline algorithm for ...
share
research
∙
06/18/2021
The Perils of Learning Before Optimizing
Formulating real-world optimization problems often begins with making pr...
research
∙
03/21/2020
Smarter Parking: Using AI to Identify Parking Inefficiencies in Vancouver
On-street parking is convenient, but has many disadvantages: on-street s...
research
∙
02/03/2020
