Xujie Si

program synthesis (2) graph neural network (2) differentiable maxsat solver (2) visual reasoning (2) logical reasoning (2) logical rule learning (2) belief propagation (1) decision making (1) adversarial robustness (1) mathematical reasoning (1) self-supervised learning (1) in-context learning (1) prompt engineering (1) conditional generation (1) visual question answering (1) sequential decision-making (1) program verification (1) evaluation methodology (1) numerical optimization (1) probabilistic inference (1)