Automated Reasoning
A technique from Prompt Engineering for Large Language Models
From A Survey of Large Language Models:
