[SnowflakeOnIce]

How would one go about proving that a learned heuristic (something from an AI model) is in fact admissible?

[jvanderbot]

For something like focal search, it doesn't even need admissibility, you just apply it as a second selection heuristic among the choices your admissable heuristic returns as 'top k' choices.

[SnowflakeOnIce]

So a tiebreaker then?