TY  - RPRT
TI  - Grounded Language Design for Lightweight Diagramming for Formal Methods
AU  - Siddhartha Prasad
AU  - Ben Greenman
AU  - Tim Nelson
AU  - Shriram Krishnamurthi
PY  - 2024
UR  - https://arxiv.org/abs/2412.03310
ID  - 2412.03310
ER  -