Inventive Problem Solving with LLMs: A Benchmark for TRIZ Reasoning. | AMiner