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 "lazy factored inference for functional probabilistic programming"):
  Abstract: Probabilistic programming provides the means to represent and reason about complex probabilistic models using programming language constructs. Even simple probabilistic programs can produce models with infinitely many variables. Factored inference algorithms are widely used for probabilistic graphical models, but cannot be applied to these programs because all the variables and factors have to be enumerated. In this paper, we present a new inference framework, lazy factored inference (LFI), that enables factored algorithms to be used for models with infinitely many variables. LFI expands the model to a bounded depth and uses the structure of the program to precisely quantify the effect of the unexpanded part of the model, producing lower and upper bounds to the probability of the query.

Includes members:
  Member "pruning bayesian networks for efficient computation":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "constructing situation specific belief networks")
  Member "generating bayesian networks from probability logic knowledge bases":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "survey on models and techniques for root cause analysis")
  Member "expectation propagation for approximate bayesian inference":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "bayesian deep learning and a probabilistic perspective of generalization")
  Member "dynamic construction of belief networks":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "the complexity of bayesian networks specified by propositional and relational languages")
  Member "church a language for generative models":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "semiring programming a declarative framework for generalized sum product problems")
  Member "an empirical evaluation of possible variations of lazy propagation":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "a differential semantics of lazy ar propagation")

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)