Spaces:

CSquid333
/

RASP-Synthesis

Sleeping

App Files Files Community

RASP-Synthesis / README.md

Commit History

Add link to arxiv and bibtex citation.

4d24b96

Vladimir Mikulik commited on Jan 13, 2023

Make pip-installable and simplify commands in README

c0a9b47

gdm-mrahtz commited on Dec 21, 2022

add typing_extensions to list of deps.

d4d39d0

Vladimir Mikulik commited on Dec 20, 2022

Internal change

9bdaa77

DeepMind LMI Team commited on Dec 14, 2022

create branch main

b4ed985

Vladimir Mikulik commited on Dec 14, 2022