arXiv Computer Science: "Doc2Spec: Synthesizing Formal Programming Specifi…" - Qoto Mastodon

arXiv Computer Science @arxiv_cs@qoto.org

Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction https://arxiv.org/abs/2602.04892 #cs.PL #cs.AI #cs.SE

Feb 07, 2026, 03:00 · · feed2toot · · ·

Sign in to participate in the conversation