@misc{indiciaed2131930c5c2,
  title = {Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models},
  author = {Ridhi Jain and Rahul Purandare},
  year = {2025},
  url = {https://arxiv.org/abs/2501.14326},
  note = {Source identifier: 2501.14326}
}