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: "proviola a tool for proof re animation"
  Abstract: To improve on existing models of interaction with a proof assistant (PA), in particular for storage and replay of proofs, we in- troduce three related concepts, those of: a proof movie, consisting of frames which record both user input and the corresponding PA response; a camera, which films a user's interactive session with a PA as a movie; and a proviola, which replays a movie frame-by-frame to a third party. In this paper we describe the movie data structure and we discuss a proto- type implementation of the camera and proviola based on the ProofWeb system. ProofWeb uncouples the interaction with a PA via a web- interface (the client) from the actual PA that resides on the server. Our camera films a movie by "listening" to the ProofWeb communication. The first reason for developing movies is to uncouple the reviewing of a formal proof from the PA used to develop it: the movie concept enables users to discuss small code fragments without the need to install the PA or to load a whole library into it. Other advantages include the possibility to develop a separate com- mentary track to discuss or explain the PA interaction. We assert that a combined camera+proviola provides a generic layer between a client (user) and a server (PA). Finally we claim that movies are the right type of data to be stored in an encyclopedia of formalized mathematics, based on our experience in filming the Coq standard library.

Connected through hyperedge HE-1 (induced by source paper "jscoq towards hybrid theorem proving interfaces"):
  with members:
    - "asynchronous processing of coq documents from the kernel up to the user interface"
    - "pide as front end technology for coq"

Connected through hyperedge HE-2 (induced by source paper "formal mathematics on display a wiki for flyspeck"):
  with members:
    - "proof in context web editing with rich modeless contextual feedback"
    - "point and write documenting formal mathematics by reference"
    - "learning assisted automated reasoning with flyspeck"
    - "a wiki for mizar motivation considerations and initial prototype"

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"
    - "automated reasoning and presentation support for formalizing mathematics in mizar"

Connected through hyperedge HE-4 (induced by source paper "proof in context web editing with rich modeless contextual feedback"):
  with members:
    - "read eval print in parallel and asynchronous proof checking"
    - "point and write documenting formal mathematics by reference"
    - "a web interface for matita"
    - "understanding the learners actions when using mathematics learning tools"
    - "atp and presentation service for mizar formalizations"
    - "large formal wikis issues and solutions"

Connected through hyperedge HE-5 (induced by source paper "a web interface for matita"):
  with members:
    - "large formal wikis issues and solutions"
    - "a wiki for mizar motivation considerations and initial prototype"

Connected through hyperedge HE-6 (induced by source paper "large formal wikis issues and solutions"):
  with members:
    - "a wiki for mizar motivation considerations and initial prototype"
    - "automated reasoning and presentation support for formalizing mathematics in mizar"

Connected through hyperedge HE-7 (induced by source paper "licensing the mizar mathematical library"):
  with members:
    - "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.LO(Logic in Computer Science)