Login / Signup
William Murphy
Publication Activity (10 Years)
Years Active: 2013-2024
Publications (10 Years): 1
Top Topics
Temporal Logic
Data Sources
Top Venues
CoRR
</>
Publications
</>
William Murphy
,
Nikolaus Holzer
,
Nathan Koenig
,
Leyi Cui
,
Raven Rothkopf
,
Feitong Qiao
,
Mark Santolucito
Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control.
CoRR
(2024)
Michelle G. Newman
,
John Yen
,
Prasenjit Mitra
,
William Murphy
,
Nicholas Jacobson
,
Hanjoo Kim
Supervised Machine Learning Classification of Journals Entries About Emotional Personal Experiences.
AMIA
(2013)