Formal Composition of Robotic Systems as Contract Programs. - Mason Nakamura; Justin Svegliato; Samer B. Nashed; Shlomo Zilberstein; Stuart Russell 001 (IROS, 2023)

MAPLE: A Framework for Active Preference Learning Guided by Large Language Models. - Saaduddin Mahmud; Mason Nakamura; Shlomo Zilberstein (AAAI, 2025)

Aligning LLMs on a Budget: Inference-Time Alignment with Heuristic Reward Models. - Mason Nakamura; Saaduddin Mahmud; Kyle Hollins Wray; Hamed Zamani; Shlomo Zilberstein (CoRR, 2025)

Inference-Aware Prompt Optimization for Aligning Black-Box Large Language Models. - Saaduddin Mahmud; Mason Nakamura; Kyle Hollins Wray; Shlomo Zilberstein (CoRR, 2025)