“Cross-context abduction: LLMs make inferences about procedural training data leveraging declarative facts in earlier training data” by Sohaib Imran