Neural Theorem Proving on Inequality Problems

Published in 5th Conference on Artificial Intelligence and Theorem Proving (AITP 2020), 2020