William Murphy

According to our database, William Murphy authored at least 3 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis.

William Murphy, Nikolaus Holzer, Feitong Qiao, Leyi Cui, Raven Rothkopf, Nathan Koenig, Mark Santolucito

CoRR, 2024

Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control.

William Murphy, Nikolaus Holzer, Nathan Koenig, Leyi Cui, Raven Rothkopf, Feitong Qiao, Mark Santolucito

CoRR, 2024

2013

Supervised Machine Learning Classification of Journals Entries About Emotional Personal Experiences.

Michelle G. Newman, John Yen, Prasenjit Mitra, William Murphy, Nicholas Jacobson, Hanjoo Kim

Proceedings of the AMIA 2013, 2013