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.

Learning to Play Text-based Adventure Games with Maximum Entropy Reinforcement Learning

1 code implementation • 21 Feb 2023 • Weichen Li, Rati Devidze, Sophie Fellenz

To deal with sparse extrinsic rewards from the environment, we combine it with a potential-based reward shaping technique to provide more informative (dense) reward signals to the RL agent.

Q-Learning reinforcement-learning +2