{"id":51,"date":"2025-03-06T01:32:51","date_gmt":"2025-03-06T00:32:51","guid":{"rendered":"https:\/\/www.kth.se\/blogs\/semla\/?p=51"},"modified":"2025-03-06T01:32:51","modified_gmt":"2025-03-06T00:32:51","slug":"three-papers-accepted-at-llm4code","status":"publish","type":"post","link":"https:\/\/www.kth.se\/blogs\/semla\/2025\/03\/three-papers-accepted-at-llm4code\/","title":{"rendered":"Three papers accepted at LLM4Code!"},"content":{"rendered":"<p>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!<\/p>\n<ul>\n<li>From Scientific Texts to Verifiable Code: Automating the Process with Transformers<br \/>\nIn the International Workshop on Large Language Models for Code (LLM4Code), published within ICSE, 2025.<br \/>\nC. Wang, M. Scazzariello, M. Chiesa<br \/>\n[<a href=\"http:\/\/arxiv.org\/pdf\/2501.05252\">arXiv<\/a>] [\u00a0<a href=\"https:\/\/www.youtube.com\/watch?v=hw9423RrZZo\">Demo video<\/a>]<\/li>\n<li>Automating the Detection of Code Vulnerabilities by Analyzing GitHub Issues<br \/>\nIn the International Workshop on Large Language Models for Code (LLM4Code), published within ICSE, 2025.<br \/>\nD. Cipollone, C. Wang, M. Scazzariello,, S. Ferlin, M. Izadi D. Kosti\u0107, M. Chiesa<br \/>\n[<a href=\"http:\/\/arxiv.org\/pdf\/2501.05258\">arXiv<\/a>]<\/li>\n<li>Deriving Coding-Specific Sub-Models from LLMs using Resource-Efficient Pruning<br \/>\nIn the International Workshop on Large Language Models for Code (LLM4Code), published within ICSE, 2025.<br \/>\nL. Puccioni, A. Farshin, M. Scazzariello, C. Wang, M. Chiesa, D. Kosti\u0107<br \/>\n[<a href=\"https:\/\/arxiv.org\/pdf\/2501.05248\">arXiv<\/a>]<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>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 &hellip; <a href=\"https:\/\/www.kth.se\/blogs\/semla\/2025\/03\/three-papers-accepted-at-llm4code\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Three papers accepted at LLM4Code!&#8221;<\/span><\/a><\/p>\n","protected":false},"author":1312,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"inline_featured_image":false,"footnotes":""},"categories":[1],"tags":[],"class_list":["post-51","post","type-post","status-publish","format-standard","hentry","category-okategoriserat"],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/posts\/51","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/users\/1312"}],"replies":[{"embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/comments?post=51"}],"version-history":[{"count":1,"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/posts\/51\/revisions"}],"predecessor-version":[{"id":52,"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/posts\/51\/revisions\/52"}],"wp:attachment":[{"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/media?parent=51"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/categories?post=51"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.kth.se\/blogs\/semla\/wp-json\/wp\/v2\/tags?post=51"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}