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 "lifted variable elimination decoupling the operators from the constraint language"):
  Abstract: Lifted probabilistic inference algorithms exploit regularities in the structure of graphical models to perform inference more efficiently. More specifically, they identify groups of interchangeable variables and perform inference once per group, as opposed to once per variable. The groups are defined by means of constraints, so the flexibility of the grouping is determined by the expressivity of the constraint language. Existing approaches for exact lifted inference use specific languages for (in)equality constraints, which often have limited expressivity. In this article, we decouple lifted inference from the constraint language. We define operators for lifted inference in terms of relational algebra operators, so that they operate on the semantic level (the constraints' extension) rather than on the syntactic level, making them language-independent. As a result, lifted inference can be performed using more powerful constraint languages, which provide more opportunities for lifting. We empirically demonstrate that this can improve inference efficiency by orders of magnitude, allowing exact inference where until now only approximate inference was feasible.

Includes members:
  Member "bisimulation based approximate lifted inference":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "abstracting probabilistic models a logical perspective")
  Member "constraint processing in lifted probabilistic inference":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "state space abstractions for probabilistic inference a systematic review")
  Member "lifted inference for relational continuous models":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "lifted hybrid variational inference")
  Member "counting belief propagation":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "lifted hybrid variational inference")
  Member "extended lifted inference with joint formulas":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "state space abstractions for probabilistic inference a systematic review")
  Member "probabilistic theorem proving":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "equivalence of dataflow graphs via rewrite rules using a graph to sequence neural model")

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.AI(Artificial Intelligence)