Presenting a poster at DeepMath 2023.