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: "pide for asynchronous interaction with coq"
  Abstract: This paper describes the initial progress towards integrating the Coq proof assistant with the PIDE architecture initially developed for Isabelle [3]. The architecture is aimed at asynchronous, parallel interaction with proof assistants, and is tied in heavily with a plugin that allows the jEdit editor to work with Isabelle. We have made some generalizations to the PIDE architecture to accommodate for more provers than just Isabelle, and adapted Coq to understand the core protocol: this delivered a working system in about two man-months.

Connected through hyperedge HE-1 (induced by source paper "interaction with formal mathematical documents in isabelle pide"):
  with members:
    - "isabelle jedit as ide for domain specific formal languages and informal text documents"
    - "system description isabelle jedit in 2014"
    - "pervasive parallelism in highly trustable interactive theorem proving systems"
    - "pide as front end technology for coq"
    - "read eval print in parallel and asynchronous proof checking"
    - "isabelle jedit a prover ide within the pide framework"

Connected through hyperedge HE-2 (induced by source paper "isabelle jedit as ide for domain specific formal languages and informal text documents"):
  with members:
    - "system description isabelle jedit in 2014"
    - "read eval print in parallel and asynchronous proof checking"

Connected through hyperedge HE-3 (induced by source paper "interactive proof presentations with cobra"):
  with members:
    - "system description isabelle jedit in 2014"

Connected through hyperedge HE-4 (induced by source paper "documentation generator focusing on symbols for the html ized mizar library"):
  with members:
    - "premise selection for mathematics by corpus analysis and kernel methods"
    - "pide as front end technology for coq"
    - "isabelle jedit a prover ide within the pide framework"
    - "atp and presentation service for mizar formalizations"
    - "large formal wikis issues and solutions"
    - "licensing the mizar mathematical library"
    - "a wiki for mizar motivation considerations and initial prototype"

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.HC(Human-Computer Interaction)