One topic. Every takeSeek and you shall find

Reading up on QuickChick

1 deep · digging since dec 24, 25

  • alperenkeles.com favicon
    Test, don't (just) verify

    AI-assisted formal verification shows promise but faces limitations — autoformalization trust, proof assistant speed, and model complexity — making random testing a necessary complement.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.