Skip to content

Consider adding a command for "semi-formal code reasoning" #16

@ohpauleez

Description

@ohpauleez

While the guide provides useful prompting techniques (including semi-structured few-show prompts), it could be advantageous to include Meta's Semi-formal code analysis prompt (and conduct our own study on the effectiveness). See: https://arxiv.org/pdf/2603.01896

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions