Follow
Joe Palermo
Joe Palermo
OpenAI
Verified email at openai.com - Homepage
Title
Cited by
Cited by
Year
GPT-4 technical report
OpenAI
arXiv, 2023
6262023
Synthetic Proof Term Data Augmentation for Theorem Proving with Language Models
J Palermo, J Ye, JM Han
7th Conference on Artificial Intelligence and Theorem Proving, 2022
22022
A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis
J Palermo, J Ye, A Singh
arXiv preprint arXiv:2107.07373, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–3