Johnny Ye

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Computer Algebra Systems

Knowledge Representation

Program Synthesis

Inductive Logic Programming

Top Venues

Publications

Joseph Palermo, Johnny Ye, Alok Singh
A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis. CoRR (2021)