AutoTAMP: Autoregressive Task and Motion Planning with LLMs as Translators and Checkers