Translating Biomedical Observations into Signal Temporal Logic with LLMs using Structured Feedback

By Hanna Krasowski, Lauren E. Malek, Sanjit A. Seshia, Murat Arcak

Subfields: Large Language Models, Medical & Health AI