Robust detection of watermarks for large language models under human edits | Synapse