Binghong Chen

logic

deep learning

rule discovery

deep learning

combinatorial optimization

deep learning

reinforcement learning

meta learning

theorem proving

sat solving

drug design

retrosynthesis

learning over graph