human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "pdp a general neural framework for learning constraint satisfaction solvers"):
  Abstract: There have been recent efforts for incorporating Graph Neural Network models for learning full-stack solvers for constraint satisfaction problems (CSP) and particularly Boolean satisfiability (SAT). Despite the unique representational power of these neural embedding models, it is not clear how the search strategy in the learned models actually works. On the other hand, by fixing the search strategy (e.g. greedy search), we would effectively deprive the neural models of learning better strategies than those given. In this paper, we propose a generic neural framework for learning CSP solvers that can be described in terms of probabilistic inference and yet learn search strategies beyond greedy search. Our framework is based on the idea of propagation, decimation and prediction (and hence the name PDP) in graphical models, and can be trained directly toward solving CSP in a fully unsupervised manner via energy minimization, as shown in the paper. Our experimental results demonstrate the effectiveness of our framework for SAT solving compared to both neural and the state-of-the-art baselines.

Includes members:
  Member "a comprehensive survey on graph neural networks":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "a survey on the expressive power of graph neural networks")
  Member "learning a sat solver from single bit supervision":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "teaching temporal logics to neural networks")
  Member "machine learning for combinatorial optimization a methodological tour d horizon":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "lossless compression of deep neural networks")
  Member "learning to solve np complete problems a graph neural network for decision tsp":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "graph neural networks meet neural symbolic computing a survey and perspective")
  Member "combinatorial optimization with graph convolutional networks and guided tree search":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "a survey on the expressive power of graph neural networks")
  Member "deep sets":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "stochastic latent residual video prediction")
  Member "streamlining variational inference for constraint satisfaction problems":
    also connected through other hyperedges:
      (none)
  Member "inference in probabilistic graphical models by graph neural networks":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "neural enhanced belief propagation on factor graphs")

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LG(Machine Learning)