Similar Items: Automated formalisation of informal specifications by combining LLMs and grammar-based language processing