What's this about?
CAST uses exact game solvers to grade an LLM agent's move at every turn, giving dense per-decision supervision instead of a single end-of-game win/lose reward.
Why it matters
Sparse rewards make agent RL slow and noisy; turn-level ground truth from a solver (6 upvotes) is a neat way to get dense, correct signal in game-like domains.