Neural Theorem Proving on Inequality Problems

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