human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups papers that share a common citing paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "New Evidence Driven State Merging Algorithm"):
  Abstract: Results of the Abbadingo One DFA Learning Competition Abstract This paper first describes the structure and results of the Abbadingo One DFA Learning Competition. The competition was designed to encourage work on algorithms that scale wellboth to larger DFAs and to sparser training data. We then describe and discuss the winning algorithm of Rodney Price, which orders state merges according to the amount of evidence in their favor. A second winning algorithm, of Hugues and

Includes members:
  Member "Cryptographic Limitations on Learning Boolean Formulae and Finite Automata":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "A General Lower Bound on the Number of Examples Needed for Learning")
  Member "A Sampling-Based Heuristic for Tree Search Applied to Grammar Induction":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "4 Implementing Application Specific Routines  Genetic algorithms in search, optimization, and machine learning. Reading, MA: Addison-Wesley.")
  Member "Efficient Learning of Typical Finite Automata from Random Walks (Extended Abstract)":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "On the Learnability and Usage of Acyclic Probabilistic Finite Automata")

Question: Please tell me which class the citing paper (i.e., the source paper of the center hyperedge) belongs to. The 7 classes are: Neural_Networks, Reinforcement_Learning, Probabilistic_Methods, Theory, Genetic_Algorithms, Case_Based, Rule_Learning. Directly output the class name.

gpt: Theory