[2401.16820] Provably Robust Multi-bit Watermarking for AI-generated Text