{"id":32530,"date":"2025-12-16T18:16:22","date_gmt":"2025-12-16T18:16:22","guid":{"rendered":"https:\/\/www.tun.com\/home\/?p=32530"},"modified":"2025-12-16T18:16:25","modified_gmt":"2025-12-16T18:16:25","slug":"tu-wien-team-pairs-chatgpt-style-ai-with-logic-to-set-records","status":"publish","type":"post","link":"https:\/\/www.tun.com\/home\/tu-wien-team-pairs-chatgpt-style-ai-with-logic-to-set-records\/","title":{"rendered":"TU Wien Team Pairs ChatGPT-Style AI With Logic to Set Records"},"content":{"rendered":"\n<div class=\"wp-block-group\"><div class=\"wp-block-group__inner-container is-layout-constrained wp-block-group-is-layout-constrained\">\n<div class=\"wp-block-uagb-blockquote uagb-block-e7eb3fc3 uagb-blockquote__skin-border uagb-blockquote__stack-img-none\"><blockquote class=\"uagb-blockquote\"><div class=\"uagb-blockquote__content\">By teaming up two very different kinds of artificial intelligence, Vienna University of Technology researchers have solved tough logic problems faster than ever before. Their work shows how ChatGPT-style models can guide traditional algorithms, opening new possibilities for science and everyday decision-making.<\/div><footer><div class=\"uagb-blockquote__author-wrap uagb-blockquote__author-at-left\"><\/div><\/footer><\/blockquote><\/div>\n\n\n\n<div class=\"wp-block-group is-content-justification-space-between is-nowrap is-layout-flex wp-container-core-group-is-layout-0dfbf163 wp-block-group-is-layout-flex\"><div style=\"font-size:16px;\" class=\"has-text-align-left wp-block-post-author\"><div class=\"wp-block-post-author__content\"><p class=\"wp-block-post-author__name\">The University Network<\/p><\/div><\/div>\n\n\n<div class=\"wp-block-uagb-social-share uagb-social-share__outer-wrap uagb-social-share__layout-horizontal uagb-block-ee584a31\">\n<div class=\"wp-block-uagb-social-share-child uagb-ss-repeater uagb-ss__wrapper uagb-block-ec619ce7\"><span class=\"uagb-ss__link\" data-href=\"https:\/\/www.facebook.com\/sharer.php?u=\" tabindex=\"0\" role=\"button\" aria-label=\"facebook\"><span class=\"uagb-ss__source-wrap\"><span class=\"uagb-ss__source-icon\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M504 256C504 119 393 8 256 8S8 119 8 256c0 123.8 90.69 226.4 209.3 245V327.7h-63V256h63v-54.64c0-62.15 37-96.48 93.67-96.48 27.14 0 55.52 4.84 55.52 4.84v61h-31.28c-30.8 0-40.41 19.12-40.41 38.73V256h68.78l-11 71.69h-57.78V501C413.3 482.4 504 379.8 504 256z\"><\/path><\/svg><\/span><\/span><\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-social-share-child uagb-ss-repeater uagb-ss__wrapper uagb-block-32d99934\"><span class=\"uagb-ss__link\" data-href=\"https:\/\/twitter.com\/share?url=\" tabindex=\"0\" role=\"button\" aria-label=\"twitter\"><span class=\"uagb-ss__source-wrap\"><span class=\"uagb-ss__source-icon\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 512 512\"><path d=\"M389.2 48h70.6L305.6 224.2 487 464H345L233.7 318.6 106.5 464H35.8L200.7 275.5 26.8 48H172.4L272.9 180.9 389.2 48zM364.4 421.8h39.1L151.1 88h-42L364.4 421.8z\"><\/path><\/svg><\/span><\/span><\/span><\/div>\n\n\n\n<div class=\"wp-block-uagb-social-share-child uagb-ss-repeater uagb-ss__wrapper uagb-block-1d136f14\"><span class=\"uagb-ss__link\" data-href=\"https:\/\/www.linkedin.com\/shareArticle?url=\" tabindex=\"0\" role=\"button\" aria-label=\"linkedin\"><span class=\"uagb-ss__source-wrap\"><span class=\"uagb-ss__source-icon\"><svg xmlns=\"https:\/\/www.w3.org\/2000\/svg\" viewBox=\"0 0 448 512\"><path d=\"M416 32H31.9C14.3 32 0 46.5 0 64.3v383.4C0 465.5 14.3 480 31.9 480H416c17.6 0 32-14.5 32-32.3V64.3c0-17.8-14.4-32.3-32-32.3zM135.4 416H69V202.2h66.5V416zm-33.2-243c-21.3 0-38.5-17.3-38.5-38.5S80.9 96 102.2 96c21.2 0 38.5 17.3 38.5 38.5 0 21.3-17.2 38.5-38.5 38.5zm282.1 243h-66.4V312c0-24.8-.5-56.7-34.5-56.7-34.6 0-39.9 27-39.9 54.9V416h-66.4V202.2h63.7v29.2h.9c8.9-16.8 30.6-34.5 62.9-34.5 67.2 0 79.7 44.3 79.7 101.9V416z\"><\/path><\/svg><\/span><\/span><\/span><\/div>\n<\/div>\n<\/div>\n<\/div><\/div>\n\n\n\n<p>Anyone who has stared at a half-finished Sudoku grid knows the power of a single, well-timed hint. Researchers at the Vienna University of Technology (TU Wien) have now shown that large language models, the kind of AI behind tools like ChatGPT, can provide that kind of nudge for some of the hardest logic problems in computer science \u2014 even though they cannot actually solve those problems themselves.<\/p>\n\n\n\n<p>By letting a language model suggest extra rules for classic logic-based programs, the team sped up solutions and, in at least one case, found better answers than anyone had ever seen before.<\/p>\n\n\n\n<p>The work, <a href=\"https:\/\/jair.org\/index.php\/jair\/article\/view\/18965\" target=\"_blank\" rel=\"noopener\" title=\"\">published<\/a> in the Journal of Artificial Intelligence Research. was carried out within TU Wien\u2019s iCAIML doctoral program.<\/p>\n\n\n\n<p>The project brings together two branches of artificial intelligence that are usually kept apart.<\/p>\n\n\n\n<p>\u201cTo understand why our discovery is so surprising, it helps to take a look at two completely different worlds of artificial intelligence,\u201d Florentina Voboril, a doctoral student in TU Wien\u2019s Institute of Logic and Computation, said in a news release.<\/p>\n\n\n\n<p>On one side is symbolic AI, which tackles problems that can be written down in a precise, mathematical form. These systems follow strict logical rules to search through many possible options and pick those that satisfy all the constraints.<\/p>\n\n\n\n<p>Classic examples include filling in a Sudoku grid, scheduling workers for shifts, routing deliveries or checking whether a complex digital circuit will behave correctly. Modern symbolic solvers can handle enormous search spaces, but they can still get bogged down when there are too many possibilities to explore.<\/p>\n\n\n\n<p>On the other side are large language models (LLMs) such as ChatGPT or Copilot. These systems are trained on massive amounts of text and learn to predict what words are likely to come next. Their internal workings are not based on explicit, human-readable rules, and their answers are often hard to explain step by step.<\/p>\n\n\n\n<p>Because of that, LLMs are usually seen as a poor fit for tasks that require airtight logical reasoning. They are powerful at generating and summarizing language, but they are not designed to execute code or guarantee that every step of a solution is correct.<\/p>\n\n\n\n<p>Voboril and colleagues asked a different question: instead of asking a language model to solve a logic problem directly, what if it could help set up the problem in a smarter way?<\/p>\n\n\n\n<p>\u201cWe examined how symbolic and sub-symbolic AI can be combined to make use of the strengths of both worlds,\u201d Voboril added.<\/p>\n\n\n\n<p>In symbolic AI, a common challenge is that there are simply too many options to check. A solver might, in theory, try every possible way to assign numbers to a Sudoku grid or every possible way to assign nurses to shifts, but that quickly becomes impossible as the problem grows.<\/p>\n\n\n\n<p>\u201cOften you cannot simply try them all. That\u2019s why it\u2019s extremely helpful to have certain rules that eliminate parts of the search space from the start,\u201d added Voboril.<\/p>\n\n\n\n<p>Researchers sometimes add such extra rules, known as \u201cstreamliners,\u201d by hand. A streamliner does not change what counts as a valid solution, but it prunes away regions of the search space that are unlikely to lead anywhere useful. That can make the solver much faster and can even guide it toward especially elegant or efficient solutions.<\/p>\n\n\n\n<p>Voboril compares it to navigating a maze.<\/p>\n\n\n\n<p>\u201cImagine we\u2019re trying to find the shortest path out of a maze. If I already know that certain parts of the maze are not connected to any exit, I can block off those areas and focus on the rest. That way, you find a better solution faster,\u201d she said.<\/p>\n\n\n\n<p>The TU Wien team used a large language model to automatically propose such streamliners.<\/p>\n\n\n\n<p>First, they took the code that a symbolic AI system would normally process \u2014 a formal description of the problem and its constraints. They then fed this code to an LLM. The language model did not run the code or compute a solution. Instead, it treated the code as text and tried to spot patterns and regularities.<\/p>\n\n\n\n<p>Based on those patterns, the LLM suggested additional constraints that might safely narrow down the search. These candidate streamliners were then added back into the symbolic solver, which checked whether they helped or hurt performance.<\/p>\n\n\n\n<p>In effect, the language model acted like a creative assistant, brainstorming promising shortcuts that human experts had not thought of, while the symbolic solver remained the rigorous engine that guaranteed correctness.<\/p>\n\n\n\n<p>\u201cIn this way, we were able to solve certain problems significantly faster than symbolic AI had been able to do so far. For one of these problems, we even set new world records\u2014finding solutions that are better than any previously known ones,\u201d Voboril added.<\/p>\n\n\n\n<p>Those record-setting results highlight a broader point: even without step-by-step logical understanding, language models can still capture useful structure in highly technical domains. Their pattern-recognition abilities, honed on vast training data, can reveal regularities that are hard for humans to see.<\/p>\n\n\n\n<p>The study suggests that combining symbolic and sub-symbolic AI could be a powerful strategy well beyond academic benchmarks. Many real-world tasks \u2014 from optimizing supply chains and public transit to planning hospital staff schedules or operating rooms \u2014 boil down to huge, rule-based search problems. Small improvements in how those problems are solved can translate into major savings of time, money and energy, or better service for patients and customers.<\/p>\n\n\n\n<p>By letting language models propose streamliners and letting symbolic solvers enforce the rules, future systems could tackle these challenges more efficiently and flexibly than either approach alone.<\/p>\n\n\n\n<p>For students and researchers, the work is also a reminder that the most exciting advances in AI may come not from choosing one camp over the other, but from finding creative ways to connect them.<\/p>\n\n\n\n<div style=\"height:13px\" aria-hidden=\"true\" class=\"wp-block-spacer\"><\/div>\n\n\n\n<p><strong>Source: <\/strong><a href=\"https:\/\/www.tuwien.at\/en\/tu-wien\/news\/press-releases\/news\/wie-ai-bei-problemen-hilft-die-sie-gar-nicht-versteht\" target=\"_blank\" rel=\"noopener\" title=\"\">Vienna University of Technology<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>By teaming up two very different kinds of artificial intelligence, TU Wien researchers have solved tough logic problems faster than ever before. Their work shows how ChatGPT-style models can guide traditional algorithms, opening new possibilities for science and everyday decision-making.<\/p>\n","protected":false},"author":3,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"single-no-separators","format":"standard","meta":{"_acf_changed":false,"_uag_custom_page_level_css":"","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[8],"tags":[146],"class_list":["post-32530","post","type-post","status-publish","format-standard","hentry","category-ai","tag-vienna-university-of-technology"],"acf":[],"aioseo_notices":[],"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"1536x1536":false,"2048x2048":false},"uagb_author_info":{"display_name":"The University Network","author_link":"https:\/\/www.tun.com\/home\/author\/funky_junkie\/"},"uagb_comment_info":0,"uagb_excerpt":"By teaming up two very different kinds of artificial intelligence, TU Wien researchers have solved tough logic problems faster than ever before. Their work shows how ChatGPT-style models can guide traditional algorithms, opening new possibilities for science and everyday decision-making.","_links":{"self":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts\/32530","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/comments?post=32530"}],"version-history":[{"count":6,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts\/32530\/revisions"}],"predecessor-version":[{"id":32549,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/posts\/32530\/revisions\/32549"}],"wp:attachment":[{"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/media?parent=32530"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/categories?post=32530"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.tun.com\/home\/wp-json\/wp\/v2\/tags?post=32530"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}