@article{fvevalunderstandinglanguagemodel,
  title = {FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware},
  author = {Minwoo Kang and Mingjie Liu and Ghaith Bany Hamad and Syed Suhaib and Haoxing Ren},
  year = {2024},
  eprint = {2410.23299},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2410.23299v1},
}