372 citations · 852 across the 31 of their papers we have counts for
1 paper · 1 filter
Kevin P. O'Keeffe
We explore if RL can be useful for symbolic mathematics. Previous work showed contrastive learning can solve linear equations in one variable. We show model-free PPO \cite{schulman…