Assessing Large Language Models in Verifying Concurrent Programs.

Ridhi Jain, Rahul Purandare

Browse the full SANER paper archive.