human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "automated reasoning and presentation support for formalizing mathematics in mizar"
  Abstract: This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics. The combination forms an online service called MizAR, similar to the SystemOnTPTP service for first-order automated reasoning. The main differences to SystemOnTPTP are the use of the Mizar language that is oriented towards human mathematicians (rather than the pure first-order logic used in SystemOnTPTP), and setting the service in the context of the large Mizar Mathematical Library of previous theorems, definitions, and proofs (rather than the isolated problems that are solved in SystemOnTPTP). These differences poses new challenges and new opportunities for automated reasoning and for proof presentation tools. This paper describes the overall structure of MizAR, and presents the automated reasoning systems and proof presentation tools that are combined to make MizAR a useful mathematical service.

Connected through hyperedge HE-1 (induced by source paper "premise selection for mathematics by corpus analysis and kernel methods"):
  with members:
    - "dependencies in formal mathematics applications and extraction for coq and mizar"
    - "dependencies in formal mathematics applications and extraction for coq and mizar"
    - "atp and presentation service for mizar formalizations"
    - "large formal wikis issues and solutions"

Connected through hyperedge HE-2 (induced by source paper "hol y hammer online atp service for hol light"):
  with members:
    - "encoding monomorphic and polymorphic types"
    - "mizar 40 for mizar 40"
    - "premise selection for mathematics by corpus analysis and kernel methods"
    - "lemma mining over hol light"
    - "blistr the blind strategymaker"
    - "formal mathematics on display a wiki for flyspeck"
    - "workingwiki a mediawiki based platform for collaborative research"
    - "learning assisted automated reasoning with flyspeck"

Connected through hyperedge HE-3 (induced by source paper "learning assisted automated reasoning with flyspeck"):
  with members:
    - "encoding monomorphic and polymorphic types"
    - "premise selection for mathematics by corpus analysis and kernel methods"
    - "blistr the blind strategymaker"
    - "a synthesis of the procedural and declarative styles of interactive theorem proving"
    - "theorem proving in large formal mathematics as an emerging ai field"
    - "atp and presentation service for mizar formalizations"
    - "large formal wikis issues and solutions"
    - "proviola a tool for proof re animation"

Connected through hyperedge HE-4 (induced by source paper "point and write documenting formal mathematics by reference"):
  with members:
    - "a wiki for mizar motivation considerations and initial prototype"

Connected through hyperedge HE-5 (induced by source paper "large formal wikis issues and solutions"):
  with members:
    - "a wiki for mizar motivation considerations and initial prototype"
    - "proviola a tool for proof re animation"

Question: Please tell me which class the center node 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)