2 papers
cs.PL2019
Experiments with a PCCoder extension
Dan Hernest
Recent research in synthesis of programs written in some Domain Specific Language (DSL) by means of neural networks from a limited set of inputs-output correspondences such as Deep…
cs.LO2012
Modal Functional (Dialectica) Interpretation
Dan Hernest, Trifon Trifonov
We adapt our light Dialectica interpretation to usual and light modal formulas (with universal quantification on boolean and natural variables) and prove it sound for a non-standar…