548 citations · 1.2k across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cond-mat.str-el2020★ 11 cited
Scalable variational Monte Carlo with graph neural ansatz
Li Yang, Wenjun Hu, Li Li
Deep neural networks have been shown as a potentially powerful ansatz in variational Monte Carlo for solving quantum many-body problems. We propose two improvements in this directi…
cs.LG2020★ 1 cited
Scaling Symbolic Methods using Gradients for Neural Model Explanation
Subham Sekhar Sahoo, Subhashini Venugopalan, Li Li +2
Symbolic techniques based on Satisfiability Modulo Theory (SMT) solvers have been proposed for analyzing and verifying neural network properties, but their usage has been fairly li…