ParentFull threadSnowflakeOnIce·How would one go about proving that a learned heuristic (something from an AI model) is in fact admissible?View on HN