trishullab/copra trishullab/copra

  • Stars
    star
    42
  • Rank 653,125 (Top 13 %)
  • Language
    Python
  • Created about 1 year ago
  • Updated 20 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trishullab/copra
github

trishullab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.

More Repositories

1

bayou

System for synthesizing Java API idioms, powered by Neural Sketch Learning
Java
276
star
2

houdini

HOUDINI: Lifelong Learning as Program Synthesis
Python
48
star
3

PutnamBench

An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
Isabelle
41
star
4

near

Python
23
star
5

cflobdd

C
9
star
6

salento

Statistical bug-finding framework for API-using code
Python
6
star
7

Quasimodo

C++
5
star
8

tapas

Texas Python Analyzer
Python
3
star
9

cosmos

Code release for "Neurosymbolic Grounding for Compositional World Models"
2
star
10

askbayou

CSS
2
star