An AI problem solving technique that catalogs experience into "cases" and matches the current problem to the experience. Such systems are easier to maintain than rule-based expert systems, because ...
A marriage of formal methods and LLMs seeks to harness the strengths of both.