Skip to content

Three papers accepted at LLM4Code!

Our work on leveraging LLMs for 1) generating verifiable code, 2) discovering software vulnerabilities, and 3) reducing the size of code-generation transformer-based models have been accepted for publication at the LLM4Code workshop! From Scientific Texts to Verifiable Code: Automating the Process with Transformers In the International Workshop on Large Language Models for Code (LLM4Code), published … Continue reading “Three papers accepted at LLM4Code!”