@misc{indiciae6f2af3ce820d,
  title = {\$\textbackslash{}forall\$uto\$\textbackslash{}exists\$val: Autonomous Assessment of LLMs in Formal Synthesis and Interpretation Tasks},
  author = {Rushang Karia and Daniel Bramblett and Daksh Dobhal and Pulkit Verma and Siddharth Srivastava},
  year = {2024},
  url = {https://arxiv.org/abs/2403.18327},
  note = {Source identifier: 2403.18327}
}