do-you-use-property-based-testing-or-stick-to-examples

I keep seeing property-based testing (Hypothesis, fast-check) recommended for catching edge cases that example-based tests miss. But in practice, I find writing good generators harder than writing the code itself. Have you actually found it worth the upfront investment for production systems, or does it mostly shine in academic examples?