Tokenisation via Convex Relaxations — ThinkLLM