Ward, William

1. Active Inverse Learning in Stackelberg Trajectory Games
   2023/08/15 by Ward, William, Yue Yu, Jacob Levy +8 · 3 citations
   Physics and Astronomy · Computer Science · #Statistical Mechanics and Entropy #Gaussian Processes and Bayesian Inference
2. Fine-Tuning Language Models Using Formal Methods Feedback
   2023/10/27 by Yunhao Yang, Yang, Yunhao, Neel P. Bhatt +9 · 4 citations
   Computer Science · #Natural Language Processing Techniques #Topic Modeling #Machine Learning and Algorithms
3. Joint Verification and Refinement of Language Models for Safety-Constrained Planning
   2024/10/18 by Yang, Yunhao, Bhatt, Neel P., Ward, William +3 · 4 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Robotics (cs.RO)