@misc{indiciaedec89b272676,
  title = {Formally Verified Code Synthesis for Structured Data Translation in a Medical Internet of Things},
  author = {Colin Samplawski and Adam D. Cobb},
  year = {2026},
  url = {https://arxiv.org/abs/2606.20776},
  note = {Source identifier: 2606.20776}
}