4 ms·
Have you considered attempting to develop a "differentiable programming language" so that it's possible to do gradient descent directly on the space of programs
by logicchains 6y ago
Have you considered attempting to develop a "differentiable programming language" so that it's possible to do gradient descent directly on the space of programs? There was some work on building a "differentiable lambda calculus", https://core.ac.uk/download/pdf/82396223.pdf https://core.ac.uk/download/pdf/82396223.pdf, but I haven't heard of anyone trying to use something like that in modern program synthesis.
- m3at 6y agoLate on the thread but you might be interested in this: https://www.tensorflow.org/swift https://www.tensorflow.org/swift
- logicchains 6y agoThat's something different: it allows doing gradient descent on the space of paramaters for programs, not on the space of programs.