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: "synthesizing symmetric lenses"
  Abstract: Lenses are programs that can be run both "front to back" and "back to front," allowing data and updates to be transformed in two directions. Since their introduction, lenses have been extensively studied and applied. Recent work has also demonstrated how techniques from type-directed program synthesis can be used to efficiently synthesize a very simple class of lenses --- so-called bijective lenses over string data --- given a pair of types (regular expressions) and a small number of examples. We show how to extend this synthesis algorithm to a much wider class of lenses, which we call simple symmetric lenses, including both bijective lenses and the more widely used "asymmetric" lenses, as well as a rich subset of the full-blown "symmetric lenses". Simple symmetric lenses are of independent theoretical interest, being the largest class of symmetric lenses that do not rely on persistent internal state. Synthesizing simple symmetric lenses is substantially more challenging that synthesizing bijective lenses: Since some of the information on each side can be "disconnected" from the other side, there will in general be many lenses that agree with a given example. To guide the search process, we use stochastic regular expressions and ideas from information theory to estimate the amount of information propagated by a candidate lens. We describe an implementation of simple symmetric lenses and our synthesis procedure as extensions to the Boomerang language. We evaluate its performance on 48 benchmark examples drawn from Flash Fill, Augeus, the bidirectional programming literature, and electronic file format synchronization tasks. After modest tuning, which is encouraged by the interactive nature of the tool, our implementation can synthesize all these lenses in under 30 seconds.

Connected through hyperedge HE-1 (induced by source paper "program sketching with live bidirectional evaluation"):
  with members:
    - "program synthesis by type guided abstraction refinement"
    - "live functional programming with typed holes"
    - "bidirectional evaluation with directmanipulation"
    - "programming not only by example"
    - "programmatic and direct manipulation together at last"
    - "program synthesis from polymorphic refinement types"
    - "type directed synthesis of products"
    - "coinductive big step operational semantics"

Connected through hyperedge HE-2 (induced by source paper "runners in action"):
  with members:
    - "programming with algebraic effects and handlers"
    - "linear usage of state"
    - "an effect system for algebraic effects and handlers"
    - "handling algebraic effects"
    - "functor is to lens as applicative is to biplate introducing multiplate"

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.PL(Programming Languages)