research
∙
11/07/2022
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
We present the Neural Satisfiability Network (NSNet), a general neural f...
share
research
∙
10/15/2021
Multimodal Emotion-Cause Pair Extraction in Conversations
Emotion cause analysis has received considerable attention in recent yea...
research
∙
08/24/2021
Graph Contrastive Pre-training for Effective Theorem Reasoning
Interactive theorem proving is a challenging and tedious process, which ...
research
∙
03/13/2013
Parallelizing Probabilistic Inference: Some Early Explorations
We report on an experimental investigation into opportunities for parall...
research
∙
03/06/2013