Conference paperConstraint-based random stimuli generation for hardware verificationYehuda Naveli, Michal Rimon, et al.AAAI/IAAI 2006
Conference paperMultimodal Large Language Models for Inverse Molecular Design with Retrosynthetic PlanningGang Liu, Michael Sun, et al.ICLR 2025
PosterPhysics-Constrained Deep Learning for DownscalingPaula Harder, Venkatesh Ramesh, et al.EGU 2023
Conference paperReasoning about RoboCup soccer narrativesHannaneh Hajishirzi, Julia Hockenmaier, et al.UAI 2011