Login / Signup
William Ward
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 3
Top Topics
Language Models For Information Retrieval
Language Modelling
Formal Methods
Fine Tuned
Top Venues
CoRR
MLSys
AMIA
Frontiers Robotics AI
</>
Publications
</>
Yunhao Yang
,
Neel P. Bhatt
,
Tyler Ingebrand
,
William Ward
,
Steven Carr
,
Atlas Wang
,
Ufuk Topcu
Fine-Tuning Language Models Using Formal Methods Feedback: A Use Case in Autonomous Systems.
MLSys
(2024)
Maxwell Hammond
,
Anthony Dempsey
,
William Ward
,
Stephen Stewart
,
James H. Neilan
,
Jessica Friz
,
Caterina Lamuta
,
Venanzio Cichella
A hybrid soft material robotic end-effector for reversible in-space assembly of strut components.
Frontiers Robotics AI
10 (2023)
Yunhao Yang
,
Neel P. Bhatt
,
Tyler Ingebrand
,
William Ward
,
Steven Carr
,
Zhangyang Wang
,
Ufuk Topcu
Fine-Tuning Language Models Using Formal Methods Feedback.
CoRR
(2023)
Frederick North
,
Muhamad Elrashidi
,
Barbie J. Mundt
,
Karen L. Ytterberg
,
Eric M. Manley
,
William Ward
,
Sidna M. Tulledge-Scheitel
Patients and providers using secure messages on the patient portal for home telemonitoring: what are the informatics challenges and how can they be managed?
AMIA
(2014)
Runzhen Huang
,
Kwan-Liu Ma
,
Patrick S. McCormick
,
William Ward
Visualizing Industrial CT Volume Data for Nondestructive Testing Applications.
IEEE Visualization
(2003)