Semantic Lifting · Page checks

All major factual claims verified against source papers. Three issues found and resolved:

1. [Fixed] "GPT-4-generated" → "GPT-generated" — the zhang2025fft paper does not name a specific model version; sources consistently say "GPT-generated."
2. [Fixed] "field reordering" → "disordered path constraints" — the Shi 2023 NetLifter paper names "path explosion and disordered path constraints" as its two challenges; field reordering is a distinct sub-problem in the paper.
3. [Pending] Citation kamil2016stng DOI is incorrect: 10.1145/2980983.2908117 should be 10.1145/2908080.2908117 (the proceedings container DOI was used instead of the article DOI). Citation update requires approval.

All numeric claims (speedups, CVE counts, fuzzer coverage ranges) confirmed accurate against source abstracts.