DeLesley Hutchins

icon company Google icon location San Jose, CA icon location I work on the n2formal team at Google Research, doing work on language models for proof and program synthesis.

Results 24 comments of DeLesley Hutchins

Is it possible to do conditional branching during evaluation?

In theory, yes, but the current code still uses the session API. On Tue, Dec 3, 2019 at 2:02 AM zwep wrote: > Just a quick question.. the first answer...

How can I run fold codes on GPU?

Make sure tensorflow is compiled with GPU support, and that it is using the GPU -- you can find instructions on the tensorflow docs. If tensorflow can find the GPU,...

can current fold work with tensorflow 1.3? Is it tested?

Can you be more specific about your problems? The binaries are outdated, but when compiling from source, it compiles and runs fine with 1.3 on my machine. You may have...

fold not loading after installation

It looks like your tensorflow version is newer than the tensorflow_fold binary. You can try compiling from source, or you can wait until I have a chance to push a...