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: "a fully automatic problem solver with human style output"
  Abstract: This paper describes a program that solves elementary mathematical problems, mostly in metric space theory, and presents solutions that are hard to distinguish from solutions that might be written by human mathematicians. The program is part of a more general project, which we also discuss.

Connected through hyperedge HE-1 (induced by source paper "hep th"):
  with members:
    - "linguistic matrix theory"
    - "an empirical study on large scale text classification with skip gram embeddings"
    - "preprint deja vu"
    - "character level convolutional networks for text classification"
    - "text understanding from scratch"
    - "word2vec explained deriving mikolov et al s negative sampling word embedding method"
    - "efficient estimation of word representations in vector space"
    - "distributed representations of words and phrases and their compositionality"

Connected through hyperedge HE-2 (induced by source paper "auto2 a saturation based heuristic prover for higher order logic"):
  with members:
    - "a heuristic prover for real inequalities"

Connected through hyperedge HE-3 (induced by source paper "a vernacular for coherent logic"):
  with members:
    - "a synthesis of the procedural and declarative styles of interactive theorem proving"

Connected through hyperedge HE-4 (induced by source paper "enhancing unsatisfiable cores for ltl with information on temporal relevance"):
  with members:
    - "extracting unsatisfiable cores for ltl via temporal resolution"
    - "on the complexity of computing minimal unsatisfiable ltl formulas"
    - "computing small unsatisfiable cores in satisfiability modulo theories"
    - "handling conflicts in depth first search for ltl tableau to debug compliance based languages"
    - "clausal temporal resolution"

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)