This is an automated message from the [Librarian Bot](https://huggingface.co/librarian-bots). I found the following papers similar to this paper. 

The following papers were recommended by the Semantic Scholar API 

* [Lemur: Integrating Large Language Models in Automated Program Verification](https://huggingface.co/papers/2310.04870) (2023)
* [A Deductive Verification Infrastructure for Probabilistic Programs](https://huggingface.co/papers/2309.07781) (2023)
* [Large Language Model-Aware In-Context Learning for Code Generation](https://huggingface.co/papers/2310.09748) (2023)
* [VerilogEval: Evaluating Large Language Models for Verilog Code Generation](https://huggingface.co/papers/2309.07544) (2023)
* [The Program Testing Ability of Large Language Models for Code](https://huggingface.co/papers/2310.05727) (2023)

 Please give a thumbs up to this comment if you found it helpful!

 If you want recommendations for any Paper on Hugging Face checkout [this](https://huggingface.co/spaces/librarian-bots/recommend_similar_papers) Space