72 citations · 151 across the 16 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022★ 1 cited
UNSAT Solver Synthesis via Monte Carlo Forest Search
Chris Cameron, Jason Hartford, Taylor Lundy +4
We introduce Monte Carlo Forest Search (MCFS), a class of reinforcement learning (RL) algorithms for learning policies in {tree MDPs}, for which policy execution involves traversin…
cs.LG2022★ 10 cited
Weakly Supervised Representation Learning with Sparse Perturbations
Kartik Ahuja, Jason Hartford, Yoshua Bengio
The theory of representation learning aims to build methods that provably invert the data generating process with minimal domain knowledge or any source of supervision. Most prior…