{"id":3731,"date":"2026-08-14T04:00:00","date_gmt":"2026-08-14T04:00:00","guid":{"rendered":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/"},"modified":"2026-08-14T14:59:16","modified_gmt":"2026-08-14T14:59:16","slug":"2505-03818","status":"publish","type":"post","link":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/","title":{"rendered":"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions"},"content":{"rendered":"<p><br \/>\n<\/p>\n<div id=\"content-inner\">\n<div id=\"abs\">\n<div class=\"dateline\">\n  [Submitted on 2 May 2025 (v1), last revised 12 Aug 2026 (this version, v3)]<\/div>\n<p>View a PDF of the paper titled Program Semantic Inequivalence Recreation with Giant Language Fashions, by Antonio Valerio Miceli-Barone and a pair of different authors<\/p>\n<p>    View PDF<br \/>\n    HTML (experimental)<\/p>\n<blockquote class=\"abstract mathjax\"><p>\n            <span class=\"descriptor\">Summary:<\/span>Giant Language Fashions (LLMs) can obtain sturdy efficiency on on a regular basis coding duties, however they&#8217;ll fail on complicated duties that require non-trivial reasoning about program semantics. Discovering coaching examples to show LLMs to resolve these duties may be difficult.<br \/>\nOn this work, we discover a technique to synthetically generate code reasoning coaching information primarily based on a semantic inequivalence sport (SInQ): a generator agent creates program variants which are semantically distinct, derived from a dataset of real-world programming duties, whereas an evaluator agent has to determine enter examples for which they behave in another way. The brokers prepare one another semi-adversarially, bettering their potential to grasp the underlying logic of code.<br \/>\nWe evaluated our strategy on a number of code era and understanding benchmarks, together with cross-language vulnerability detection (Lu et al., 2021),, the place our methodology improves vulnerability detection in C\/C++ code regardless of being educated completely on Python code, and the difficult Python builtin identifier swap benchmark (Miceli Barone et al., 2023),, displaying that whereas trendy LLMs nonetheless wrestle with this benchmark, our strategy yields substantial enhancements.<br \/>\nWe launch the code wanted to copy the experiments, in addition to the generated artificial information, which can be utilized to fine-tune LLMs.\n    <\/p><\/blockquote><\/div>\n<\/div>\n<div>\n<h2>Submission historical past<\/h2>\n<p> From: Antonio Valerio Miceli Barone [view email]                  [v1]<br \/>\n        Fri, 2 Could 2025 20:03:35 UTC (221 KB)<br \/>\n            [v2]<br \/>\n        Thu, 28 Aug 2025 16:38:13 UTC (370 KB)<br \/>\n    [v3]<br \/>\n        Wed, 12 Aug 2026 12:41:22 UTC (492 KB)\n<\/p><\/div>\n<p><br \/>\n<br \/><a href=\"https:\/\/arxiv.org\/abs\/2505.03818\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>[Submitted on 2 May 2025 (v1), last revised 12 Aug 2026 (this version, v3)] View a PDF of the paper titled Program Semantic Inequivalence Recreation with Giant Language Fashions, by Antonio Valerio Miceli-Barone and a pair of different authors View PDF HTML (experimental) Summary:Giant Language Fashions (LLMs) can obtain sturdy efficiency on on a regular [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":3733,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"fifu_image_url":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","fifu_image_alt":"","jnews-multi-image_gallery":[],"jnews_single_post":[],"jnews_primary_category":[],"jnews_override_bookmark_settings":[],"jnews_social_meta":[],"jnews_override_counter":[],"footnotes":""},"categories":[2],"tags":[1618,4080,50,456,293,125,921],"class_list":["post-3731","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai-research-breakthroughs","tag-game","tag-inequivalence","tag-language","tag-large","tag-models","tag-program","tag-semantic"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions - Future News 24<\/title>\n<meta name=\"description\" content=\"Abstract page for arXiv paper 2505.03818: Program Semantic Inequivalence Game with Large Language Models\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions - Future News 24\" \/>\n<meta property=\"og:description\" content=\"Abstract page for arXiv paper 2505.03818: Program Semantic Inequivalence Game with Large Language Models\" \/>\n<meta property=\"og:url\" content=\"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/\" \/>\n<meta property=\"og:site_name\" content=\"Future News 24\" \/>\n<meta property=\"article:published_time\" content=\"2026-08-14T04:00:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-08-14T14:59:16+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png\" \/>\n<meta name=\"author\" content=\"Future News 24\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Future News 24\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minute\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/\"},\"author\":{\"name\":\"Future News 24\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\"},\"headline\":\"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions\",\"datePublished\":\"2026-08-14T04:00:00+00:00\",\"dateModified\":\"2026-08-14T14:59:16+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/\"},\"wordCount\":281,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"keywords\":[\"Game\",\"Inequivalence\",\"Language\",\"large\",\"Models\",\"program\",\"Semantic\"],\"articleSection\":[\"AI Research &amp; Breakthroughs\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/\",\"name\":\"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions - Future News 24\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"datePublished\":\"2026-08-14T04:00:00+00:00\",\"dateModified\":\"2026-08-14T14:59:16+00:00\",\"description\":\"Abstract page for arXiv paper 2505.03818: Program Semantic Inequivalence Game with Large Language Models\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#primaryimage\",\"url\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"contentUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/08\\\/14\\\/2505-03818\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/futurenews24.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"name\":\"Future News 24\",\"description\":\"The Smart Hub for AI and Next-Gen Innovation\",\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/futurenews24.com\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\",\"name\":\"Future News 24\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"contentUrl\":\"https:\\\/\\\/futurenews24.com\\\/wp-content\\\/uploads\\\/2026\\\/06\\\/fn24-favicon.png\",\"width\":250,\"height\":250,\"caption\":\"Future News 24\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/logo\\\/image\\\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\",\"name\":\"Future News 24\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"url\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"contentUrl\":\"https:\\\/\\\/secure.gravatar.com\\\/avatar\\\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g\",\"caption\":\"Future News 24\"},\"sameAs\":[\"https:\\\/\\\/futurenews24.com\"],\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/author\\\/mridulpahuja20\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions - Future News 24","description":"Abstract page for arXiv paper 2505.03818: Program Semantic Inequivalence Game with Large Language Models","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/","og_locale":"en_US","og_type":"article","og_title":"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions - Future News 24","og_description":"Abstract page for arXiv paper 2505.03818: Program Semantic Inequivalence Game with Large Language Models","og_url":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/","og_site_name":"Future News 24","article_published_time":"2026-08-14T04:00:00+00:00","article_modified_time":"2026-08-14T14:59:16+00:00","og_image":[{"url":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","type":"","width":"","height":""}],"author":"Future News 24","twitter_card":"summary_large_image","twitter_image":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","twitter_misc":{"Written by":"Future News 24","Est. reading time":"1 minute"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#article","isPartOf":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/"},"author":{"name":"Future News 24","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83"},"headline":"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions","datePublished":"2026-08-14T04:00:00+00:00","dateModified":"2026-08-14T14:59:16+00:00","mainEntityOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/"},"wordCount":281,"commentCount":0,"publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#primaryimage"},"thumbnailUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","keywords":["Game","Inequivalence","Language","large","Models","program","Semantic"],"articleSection":["AI Research &amp; Breakthroughs"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/","url":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/","name":"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions - Future News 24","isPartOf":{"@id":"https:\/\/futurenews24.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#primaryimage"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#primaryimage"},"thumbnailUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","datePublished":"2026-08-14T04:00:00+00:00","dateModified":"2026-08-14T14:59:16+00:00","description":"Abstract page for arXiv paper 2505.03818: Program Semantic Inequivalence Game with Large Language Models","breadcrumb":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#primaryimage","url":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","contentUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png"},{"@type":"BreadcrumbList","@id":"https:\/\/futurenews24.com\/index.php\/2026\/08\/14\/2505-03818\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/futurenews24.com\/"},{"@type":"ListItem","position":2,"name":"[2505.03818] Program Semantic Inequivalence Recreation with Giant Language Fashions"}]},{"@type":"WebSite","@id":"https:\/\/futurenews24.com\/#website","url":"https:\/\/futurenews24.com\/","name":"Future News 24","description":"The Smart Hub for AI and Next-Gen Innovation","publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/futurenews24.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/futurenews24.com\/#organization","name":"Future News 24","url":"https:\/\/futurenews24.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/","url":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","contentUrl":"https:\/\/futurenews24.com\/wp-content\/uploads\/2026\/06\/fn24-favicon.png","width":250,"height":250,"caption":"Future News 24"},"image":{"@id":"https:\/\/futurenews24.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83","name":"Future News 24","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/d57f07142d73cb5503ab2446ea7bc9ef3d0a5ba378d64a6157692311e42bf097?s=96&d=mm&r=g","caption":"Future News 24"},"sameAs":["https:\/\/futurenews24.com"],"url":"https:\/\/futurenews24.com\/index.php\/author\/mridulpahuja20\/"}]}},"_links":{"self":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/3731","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/comments?post=3731"}],"version-history":[{"count":1,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/3731\/revisions"}],"predecessor-version":[{"id":3732,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/3731\/revisions\/3732"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media\/3733"}],"wp:attachment":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media?parent=3731"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/categories?post=3731"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/tags?post=3731"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}