trishullab/houdini trishullab/houdini

  • Stars
    star
    48
  • Rank 591,603 (Top 12 %)
  • Language
    Python
  • Created almost 6 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
trishullab/houdini
github

trishullab

Reviews

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

Repository Details

HOUDINI: Lifelong Learning as Program Synthesis

More Repositories

1

bayou

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

copra

COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.
Python
42
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