Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Chain of thought prompting #9

Merged
merged 22 commits into from
Oct 2, 2024
Merged

Chain of thought prompting #9

merged 22 commits into from
Oct 2, 2024

Commits on Sep 25, 2024

  1. initial infrastructure for chain-of-thought

    @WeetHet
    WeetHet committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    2c41faf View commit details
    Browse the repository at this point in the history

  2. step 2: loop detection

    @WeetHet
    WeetHet committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    a10c8e0 View commit details
    Browse the repository at this point in the history

  3. step 3: invariant and pattern detection

    @WeetHet
    WeetHet committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    8348140 View commit details
    Browse the repository at this point in the history

  4. Improve prompts a bit

    @WeetHet
    WeetHet committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    a98556a View commit details
    Browse the repository at this point in the history

  5. translate dafny chain of thought prompt to verus

    @edwin1729 @WeetHet
    edwin1729 authored and WeetHet committed Sep 25, 2024
    Configuration menu
    Copy the full SHA
    f3e3593 View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2024

  1. rework postprocessing, add rewrite step

    @WeetHet
    WeetHet committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    de81a83 View commit details
    Browse the repository at this point in the history

  2. compat: replace match with if

    @WeetHet
    WeetHet committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    6a2e1c7 View commit details
    Browse the repository at this point in the history

  3. sort examples

    @WeetHet
    WeetHet committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    7f6a063 View commit details
    Browse the repository at this point in the history

  4. gui: add step-by-step

    @WeetHet
    WeetHet committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    60236cd View commit details
    Browse the repository at this point in the history

  5. it works

    @WeetHet
    WeetHet committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    1af31ef View commit details
    Browse the repository at this point in the history

  6. Merge branch 'main' into chain-of-thought

    @WeetHet
    WeetHet authored Sep 30, 2024
    Configuration menu
    Copy the full SHA
    2f57d49 View commit details
    Browse the repository at this point in the history

  7. rename iter -> it

    @WeetHet
    WeetHet committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    8a97308 View commit details
    Browse the repository at this point in the history

  8. transpose validating<->step-by-step

    @WeetHet
    WeetHet committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    98140e7 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'chain-of-thought' of https://github.com/JetBrains-Resea… 

    …rch/verified-cogen into chain-of-thought
    @alex28sh
    alex28sh committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    68e3b2b View commit details
    Browse the repository at this point in the history

  10. nagini chain-of-thought

    @alex28sh
    alex28sh committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    b98b7d0 View commit details
    Browse the repository at this point in the history

  11. reformatting

    @alex28sh
    alex28sh committed Sep 30, 2024
    Configuration menu
    Copy the full SHA
    b08dfbb View commit details
    Browse the repository at this point in the history

Commits on Oct 1, 2024

  1. Allow incremental run to work with step-by-step

    @WeetHet
    WeetHet committed Oct 1, 2024
    Configuration menu
    Copy the full SHA
    6ccc4e4 View commit details
    Browse the repository at this point in the history

Commits on Oct 2, 2024

  1. Update HumanEval-Dafny

    @WeetHet
    WeetHet committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    b289c6f View commit details
    Browse the repository at this point in the history

  2. Better dafny codegen, alternative cot mode

    @WeetHet
    WeetHet committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    3a6d93e View commit details
    Browse the repository at this point in the history

  3. Dump history in files

    @WeetHet
    WeetHet committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    d83f832 View commit details
    Browse the repository at this point in the history

  4. fix

    @WeetHet
    WeetHet committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    4f49abd View commit details
    Browse the repository at this point in the history

  5. add results

    @WeetHet
    WeetHet committed Oct 2, 2024
    Configuration menu
    Copy the full SHA
    723e02d View commit details
    Browse the repository at this point in the history