TY  - RPRT
TI  - Assessing Large Language Models in Comprehending and Verifying Concurrent Programs across Memory Models
AU  - Ridhi Jain
AU  - Rahul Purandare
PY  - 2025
UR  - https://arxiv.org/abs/2501.14326
ID  - 2501.14326
ER  -