Jian L\"{u}
2 papers · 2023–2023 · 1 venue · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Venues
Top co-authors
Research topics
Keywords
constraint solving
(1)
markov chain monte carlo
(1)
constraint satisfaction
(1)
variational framework
(1)
boltzmann distribution
(1)
neuro-symbolic learning
(1)
satisfiability modulo theory
(1)
symbol grounding
(1)
logical constraint
(1)
dual variable
(1)
distributional loss
(1)
shortcut satisfaction
(1)