Yichao Liang

Is it still possible to use the pypy solver?

1

I'm trying to use the pypy solver on the list task but besides some typos in ``solveForTask_pypy``, it seems it would try to import ``torch`` module in pypy, which seem...

Can't evaluate with evaluate_deepcoder.py

1

I pretrained the skech generator and dc synthesizer following the instructions with no problem, but got an error when trying evaluate the full model using `python eval/evaluate_deepcoder.py`. More specifically I...