A marriage of formal methods and LLMs seeks to harness the strengths of both.

Researchers have developed an AI-based learning system that recognizes strengths and weaknesses in mathematics by tracking eye movements with a webcam to generate problem-solving hints. This enables ...