TY  - RPRT
TI  - Supporting Software Formal Verification with Large Language Models: An Experimental Study
AU  - Weiqi Wang
AU  - Marie Farrell
AU  - Lucas C. Cordeiro
AU  - Liping Zhao
PY  - 2025
UR  - https://arxiv.org/abs/2507.04857
ID  - 2507.04857
ER  -