A marriage of formal methods and LLMs seeks to harness the strengths of both.
On a simple math task - indicating which of two amounts is greater - kids with math learning disability get the right answer ...