Logic Mill 2023 ArXiv2301.00200