Skip to content

Why does dream coder use e-graphs vs fragment grammars? #91

@brando90

Description

@brando90

I noticed that the original preprint uses fragment grammars but that was changed to use e-graphs in the PLDI accepted paper.

I was curious, why did that change happen? Was it that e-graph "worked better" or was it that the PL audience would be more welcoming of a PL/e-graph method for learning abstractions?

cross: lio-wong/dreamcoder#1

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions