@misc{indiciaec5afd951a636,
  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},
  url = {https://arxiv.org/abs/2410.23299},
  note = {Source identifier: 2410.23299}
}