Vaishak Belle

Accepted papers at ECAI 2020

Conference link

Our work on symbolically interpreting variational autoencoders, as well as a new learnability for SMT (satisfiability modulo theory) formulas got accepted at ECAI.

Previous

Journal paper on synthesis of recursive plans

Our work on synthesizing plans with loops in the presence of noise will appear in the international journal of approximate...
Next

Journal paper on goal regression and progression with probabilities

Our work on (goal) regression and progression operators for first-order probabilistic logics will appear in Artificial Intelligence. It studies how...