Replicate Proof-Net retrieval experiments - Githubissues

Dahoas / EAI4Math

6 stars 2 forks source link

Replicate Proof-Net retrieval experiments #1

Closed Dahoas closed 1 month ago

Dahoas commented 3 months ago

Use GPT-4 + ada-embeddings of MathLib

Laughing-Boy commented 3 months ago

I can work on this.