Guiding Likely Invariant Synthesis on Distributed Systems with Large Language Models.

Yuan Xia, Aabha Shailesh Pingle, Deepayan Sur, Srivatsan Ravi, Mukund Raghothaman, Jyotirmoy V. Deshmukh

Browse the full FMCAD paper archive.