Towards Polynomial Formal Verification of AI-Generated Arithmetic Circuits | IEEE Conference Publication | IEEE Xplore