notesum.ai

Published at December 4

Grounded Language Design for Lightweight Diagramming for Formal Methods

cs.CL

cs.PL

D.3.1; D.2.4; D.3.2

Released Date: December 4, 2024

Authors: Siddhartha Prasad¹, Ben Greenman², Tim Nelson¹, Shriram Krishnamurthi¹

Aff.: ¹Brown University; ²University of Utah

Arxiv: http://arxiv.org/pdf/2412.03310v1

Refer to caption