The Shortcomings of Code LLMs in Modeling Code Properties. - Srivishnu Pyda; Daniel Nichols; Abhinav Bhatele (LLM4Code@ICSE, 2025)