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 "a zonotopic framework for functional abstractions"):
  Abstract: This article formalizes an abstraction of input/output relations, based on parameterized zonotopes, which we call affine sets. We describe the abstract transfer functions and prove their correctness, which allows the generation of accurate numerical invariants. Other applications range from compositional reasoning to proofs of user-defined complex invariants and test case generation.

Includes members:
  Member "robustness analysis of finite precision implementations":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "automatic generation and verification of test stable floating point code")
  Member "coupling policy iteration with semi definite relaxation to compute accurate numerical invariants in static analysis":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "synthesizing invariants by solving solvable loops")
  Member "a logical product approach to zonotope intersection":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "automatic generation and verification of test stable floating point code")
  Member "perturbed affine arithmetic for invariant computation in numerical program analysis":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "a provable defense for deep residual networks")
  Member "a new numerical abstract domain based on difference bound matrices":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "a hypergraph based approach for the 4 constraint satisfaction problem tractability")
  Member "symbolic methods to enhance the precision of numerical abstract domains":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "automatically proving microkernels free from privilege escalation from their executable")

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.LO(Logic in Computer Science)