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
∙
02/24/2022
Matching Papers and Reviewers at Large Conferences
This paper studies a novel reviewer-paper matching approach that was rec...
research
∙
06/18/2021
