{"id":3119,"date":"2026-07-31T04:00:00","date_gmt":"2026-07-31T04:00:00","guid":{"rendered":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/"},"modified":"2026-08-01T00:59:03","modified_gmt":"2026-08-01T00:59:03","slug":"2606-06133","status":"publish","type":"post","link":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/","title":{"rendered":"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation"},"content":{"rendered":"<p><br \/>\n<\/p>\n<div id=\"content-inner\">\n<div id=\"abs\">\n<div class=\"dateline\">\n  [Submitted on 4 Jun 2026 (v1), last revised 29 Jul 2026 (this version, v4)]<\/div>\n<p>View a PDF of the paper titled TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation, by Eric Spencer and eight different authors<\/p>\n<p>    View PDF<br \/>\n    HTML (experimental)<\/p>\n<blockquote class=\"abstract mathjax\"><p>\n            <span class=\"descriptor\">Summary:<\/span>TLA+ is a proper specification language for verifying distributed methods and safety-critical protocols. Giant language fashions (LLMs) regularly produce TLA+ specs that fail the TLC mannequin checker for semantic causes. Throughout 25 LLMs, the very best public baseline is 26.6% syntactic parse and eight.6% semantic model-check. We current TLA-Prover, a 20-billion-parameter mannequin for TLA+ specification synthesis. Coaching combines supervised fine-tuning (SFT) on verified examples with repair-based group-relative coverage optimization (GRPO). Within the GRPO stage, the mannequin learns to repair its personal rejected specs. We additionally practice a direct choice optimization (DPO) variant from the identical SFT checkpoint as an ablation. TLC supplies the reward sign straight, with no realized reward mannequin. 4 tiers grade every output: Bronze (parses), Silver (no warnings), Gold (passes TLC), and Diamond. To achieve Diamond, the mannequin&#8217;s correctness property is robotically altered in a small method; TLC should then detect a violation. If TLC nonetheless passes, the property was always-true and contributes nothing; the output fails Diamond. TLA-Prover reaches 9\/30 (i.e. go@1 = 30%) at each Gold and Diamond on a held-out 30-problem benchmark. That is roughly 3.5x the 8.6% untuned baseline. The DPO variant reaches 20% at Diamond. Gold and Diamond coincide at each checkpoint; this prevents the trivial-property failure mode.\n    <\/p><\/blockquote><\/div>\n<\/div>\n<div>\n<h2>Submission historical past<\/h2>\n<p> From: Arslan Bisharat [view email]                  [v1]<br \/>\n        Thu, 4 Jun 2026 13:17:06 UTC (733 KB)<br \/>\n            [v2]<br \/>\n        Tue, 16 Jun 2026 18:25:17 UTC (734 KB)<br \/>\n            [v3]<br \/>\n        Wed, 8 Jul 2026 15:03:19 UTC (734 KB)<br \/>\n    [v4]<br \/>\n        Wed, 29 Jul 2026 03:40:30 UTC (734 KB)\n<\/p><\/div>\n<p><br \/>\n<br \/><a href=\"https:\/\/arxiv.org\/abs\/2606.06133\">Source link <\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>[Submitted on 4 Jun 2026 (v1), last revised 29 Jul 2026 (this version, v4)] View a PDF of the paper titled TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation, by Eric Spencer and eight different authors View PDF HTML (experimental) Summary:TLA+ is a proper specification language for verifying distributed methods and safety-critical protocols. Giant [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":3121,"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":[3549,3548,3547,3546,2725,3545,3543,3544],"class_list":["post-3119","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-ai-research-breakthroughs","tag-adaptation","tag-lowrank","tag-preferenceoptimized","tag-specification","tag-synthesis","tag-tla","tag-tlaprover","tag-verifiable"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.7 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation - Future News 24<\/title>\n<meta name=\"description\" content=\"Abstract page for arXiv paper 2606.06133: TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation\" \/>\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\/07\/31\/2606-06133\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation - Future News 24\" \/>\n<meta property=\"og:description\" content=\"Abstract page for arXiv paper 2606.06133: TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation\" \/>\n<meta property=\"og:url\" content=\"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/\" \/>\n<meta property=\"og:site_name\" content=\"Future News 24\" \/>\n<meta property=\"article:published_time\" content=\"2026-07-31T04:00:00+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2026-08-01T00:59:03+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\\\/07\\\/31\\\/2606-06133\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/\"},\"author\":{\"name\":\"Future News 24\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#\\\/schema\\\/person\\\/cecad1bde21cfc357cf70128144d6c83\"},\"headline\":\"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation\",\"datePublished\":\"2026-07-31T04:00:00+00:00\",\"dateModified\":\"2026-08-01T00:59:03+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/\"},\"wordCount\":279,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#organization\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"keywords\":[\"Adaptation\",\"LowRank\",\"PreferenceOptimized\",\"Specification\",\"Synthesis\",\"TLA\",\"TLAProver\",\"Verifiable\"],\"articleSection\":[\"AI Research &amp; Breakthroughs\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/\",\"url\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/\",\"name\":\"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation - Future News 24\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/arxiv.org\\\/static\\\/browse\\\/0.3.4\\\/images\\\/arxiv-logo-fb.png\",\"datePublished\":\"2026-07-31T04:00:00+00:00\",\"dateModified\":\"2026-08-01T00:59:03+00:00\",\"description\":\"Abstract page for arXiv paper 2606.06133: TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/futurenews24.com\\\/index.php\\\/2026\\\/07\\\/31\\\/2606-06133\\\/#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\\\/07\\\/31\\\/2606-06133\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/futurenews24.com\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation\"}]},{\"@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":"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation - Future News 24","description":"Abstract page for arXiv paper 2606.06133: TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation","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\/07\/31\/2606-06133\/","og_locale":"en_US","og_type":"article","og_title":"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation - Future News 24","og_description":"Abstract page for arXiv paper 2606.06133: TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation","og_url":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/","og_site_name":"Future News 24","article_published_time":"2026-07-31T04:00:00+00:00","article_modified_time":"2026-08-01T00:59:03+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\/07\/31\/2606-06133\/#article","isPartOf":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/"},"author":{"name":"Future News 24","@id":"https:\/\/futurenews24.com\/#\/schema\/person\/cecad1bde21cfc357cf70128144d6c83"},"headline":"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation","datePublished":"2026-07-31T04:00:00+00:00","dateModified":"2026-08-01T00:59:03+00:00","mainEntityOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/"},"wordCount":279,"commentCount":0,"publisher":{"@id":"https:\/\/futurenews24.com\/#organization"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/#primaryimage"},"thumbnailUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","keywords":["Adaptation","LowRank","PreferenceOptimized","Specification","Synthesis","TLA","TLAProver","Verifiable"],"articleSection":["AI Research &amp; Breakthroughs"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/","url":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/","name":"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation - Future News 24","isPartOf":{"@id":"https:\/\/futurenews24.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/#primaryimage"},"image":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/#primaryimage"},"thumbnailUrl":"http:\/\/arxiv.org\/static\/browse\/0.3.4\/images\/arxiv-logo-fb.png","datePublished":"2026-07-31T04:00:00+00:00","dateModified":"2026-08-01T00:59:03+00:00","description":"Abstract page for arXiv paper 2606.06133: TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation","breadcrumb":{"@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/futurenews24.com\/index.php\/2026\/07\/31\/2606-06133\/#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\/07\/31\/2606-06133\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/futurenews24.com\/"},{"@type":"ListItem","position":2,"name":"[2606.06133] TLA-Prover: Verifiable TLA+ Specification Synthesis through Choice-Optimized Low-Rank Adaptation"}]},{"@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\/3119","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=3119"}],"version-history":[{"count":1,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/3119\/revisions"}],"predecessor-version":[{"id":3120,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/posts\/3119\/revisions\/3120"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media\/3121"}],"wp:attachment":[{"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/media?parent=3119"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/categories?post=3119"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/futurenews24.com\/index.php\/wp-json\/wp\/v2\/tags?post=3119"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}