Exploiting Code Symmetries for Learning Program Semantics

no code implementations • 7 Aug 2023 • Kexin Pei, Weichen Li, Qirui Jin, Shuyang Liu, Scott Geng, Lorenzo Cavallaro, Junfeng Yang, Suman Jana

This paper tackles the challenge of teaching code semantics to Large Language Models (LLMs) for program analysis by incorporating code symmetries into the model architecture.

Affective Faces for Goal-Driven Dyadic Communication

1 code implementation • 26 Jan 2023 • Scott Geng, Revant Teotia, Purva Tendulkar, Sachit Menon, Carl Vondrick

We introduce a video framework for modeling the association between verbal and non-verbal communication during dyadic conversation.

Understanding Zero-Shot Adversarial Robustness for Large-Scale Models

2 code implementations • 14 Dec 2022 • Chengzhi Mao, Scott Geng, Junfeng Yang, Xin Wang, Carl Vondrick

We apply this training loss to two adaption methods, model finetuning and visual prompt tuning.

Adversarial Robustness Contrastive Learning +1

NeuDep: Neural Binary Memory Dependence Analysis

no code implementations • 4 Oct 2022 • Kexin Pei, Dongdong She, Michael Wang, Scott Geng, Zhou Xuan, Yaniv David, Junfeng Yang, Suman Jana, Baishakhi Ray

Notably, NeuDep also outperforms the current state-of-the-art on these tasks.