<?xml version="1.0" encoding="UTF-8" ?><!-- generator=Zoho Sites --><rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:content="http://purl.org/rss/1.0/modules/content/"><channel><atom:link href="https://www.nownextlater.ai/Insights/tag/neurosymbolic-methods/feed" rel="self" type="application/rss+xml"/><title>Now Next Later AI - Blog #neurosymbolic methods</title><description>Now Next Later AI - Blog #neurosymbolic methods</description><link>https://www.nownextlater.ai/Insights/tag/neurosymbolic-methods</link><lastBuildDate>Wed, 26 Nov 2025 21:22:47 +1100</lastBuildDate><generator>http://zoho.com/sites/</generator><item><title><![CDATA[Automating Common Sense for AI With Ensemble Models]]></title><link>https://www.nownextlater.ai/Insights/post/automating-common-sense-for-ai-with-ensemble-models</link><description><![CDATA["Symbolic knowledge distillation" that automates common sense acquisition for AI.]]></description><content:encoded><![CDATA[<div class="zpcontent-container blogpost-container "><div data-element-id="elm_mPKN0rjCQVyuVjArx-vFGA" data-element-type="section" class="zpsection "><style type="text/css"></style><div class="zpcontainer-fluid zpcontainer"><div data-element-id="elm_veGBOJUFSYK4lnARV0N_ow" data-element-type="row" class="zprow zprow-container zpalign-items- zpjustify-content- " data-equal-column=""><style type="text/css"></style><div data-element-id="elm_IvhbYywqQbujJzuyoys2bA" data-element-type="column" class="zpelem-col zpcol-12 zpcol-md-12 zpcol-sm-12 zpalign-self- "><style type="text/css"></style><div data-element-id="elm_LYnK6WfuYB-C6ntSF3eAew" data-element-type="image" class="zpelement zpelem-image "><style> @media (min-width: 992px) { [data-element-id="elm_LYnK6WfuYB-C6ntSF3eAew"] .zpimage-container figure img { width: 500px ; height: 394.38px ; } } @media (max-width: 991px) and (min-width: 768px) { [data-element-id="elm_LYnK6WfuYB-C6ntSF3eAew"] .zpimage-container figure img { width:500px ; height:394.38px ; } } @media (max-width: 767px) { [data-element-id="elm_LYnK6WfuYB-C6ntSF3eAew"] .zpimage-container figure img { width:500px ; height:394.38px ; } } [data-element-id="elm_LYnK6WfuYB-C6ntSF3eAew"].zpelem-image { border-radius:1px; } </style><div data-caption-color="" data-size-tablet="" data-size-mobile="" data-align="center" data-tablet-image-separate="false" data-mobile-image-separate="false" class="zpimage-container zpimage-align-center zpimage-size-medium zpimage-tablet-fallback-medium zpimage-mobile-fallback-medium hb-lightbox " data-lightbox-options="
                type:fullscreen,
                theme:dark"><figure role="none" class="zpimage-data-ref"><span class="zpimage-anchor" role="link" tabindex="0" aria-label="Open Lightbox" style="cursor:pointer;"><picture><img class="zpimage zpimage-style-none zpimage-space-none " src="/Screenshot%202023-08-16%20at%2011.35.08%20am.png" width="500" height="394.38" loading="lazy" size="medium" alt="Symbolic knowledge distillation" data-lightbox="true"/></picture></span></figure></div>
</div><div data-element-id="elm_wtOfCPoVSESEnAf3dmqoag" data-element-type="text" class="zpelement zpelem-text "><style> [data-element-id="elm_wtOfCPoVSESEnAf3dmqoag"].zpelem-text { border-radius:1px; } </style><div class="zptext zptext-align-left " data-editor="true"><p><span style="color:inherit;">Artificial intelligence (AI) systems still lack true understanding of the world and rely heavily on training data provided by humans. An ongoing challenge is developing AI with more generalized common sense - basic knowledge about how the world works that humans acquire through experience.&nbsp;</span></p><p><span style="color:inherit;"><br></span></p><p><span style="color:inherit;">Researchers have proposed compiling common sense into knowledge graphs - structured collections of facts. But these require extensive manual effort to create and often have gaps. Now, scientists at the University of Washington and the Allen Institute for AI have demonstrated a new technique called &quot;symbolic knowledge distillation&quot; that automates common sense acquisition for AI. Their method transfers knowledge from a large, general AI model into a specialized common sense model, without direct human authoring.<br><br>The researchers used GPT-3, a leading natural language AI model from OpenAI, as the knowledge source. GPT-3 was prompted to generate common sense inferences about everyday scenarios, creating a knowledge graph called ATOMIC10x with 10 times more entries than human-authored versions. This automatic approach achieved greater scale and diversity of common sense than manual authoring.<br><br>To improve the accuracy of the AI-generated knowledge, the researchers trained a separate &quot;critic&quot; model to filter out incorrect inferences. With this critic, ATOMIC10x attained over 96% accuracy in human evaluations, surpassing 86.8% for human-authored graphs. The knowledge graph both exceeded humans in quantity and matched quality.<br><br>The researchers then trained a compact common sense model called COMET on the ATOMIC10x graph. Remarkably, this smaller COMET model outperformed its massive GPT-3 teacher in generating accurate common sense inferences. It also improved on models trained with human-written knowledge graphs.<br><br>This demonstrates an alternative pipeline - from machine-generated data to specialized AI models - that can exceed human capabilities for common sense acquisition. The researchers propose that humans can play a more focused role as critics, rather than manually authoring entire knowledge bases.<br><br>The new distillation technique paves the way for more capable AI assistants, chatbots, and robots that understand implicit rules of everyday situations. Common sense helps AI converse naturally, perform physical tasks, and make logical inferences about causality and human behavior. Automating common sense at scale remains a grand challenge for human-like artificial intelligence.<br><br>This research exemplifies how large AI models like GPT-3 can transfer knowledge to more specialized applications through automatic generation. While general models have limitations in narrowly defined tasks, their broad learning makes them valuable teachers. Distillation techniques focus that broad knowledge into optimized models for specific needs like common sense.<br><br>Business leaders should track such advances that make AI more generally capable and useful across applications. Automating the acquisition of common sense can complement training data curated by humans, reducing manual bottlenecks. AI models endowed with common sense hold promise for everything from chatbots to autonomous systems to creative applications. While current methods are imperfect, rapid progress is being made - foreshadowing AI assistants that understand the world more like we do.</span></p><p><span style="color:inherit;"><br></span></p><p><span style="color:inherit;">Sources:</span></p><p><span style="color:inherit;"><a href="https://arxiv.org/abs/2110.07178" title="Symbolic Knowledge Distillation: from General Language Models to Commonsense Models" rel="">Symbolic Knowledge Distillation: from General Language Models to Commonsense Models</a></span></p><p></p></div>
</div></div></div></div></div></div> ]]></content:encoded><pubDate>Wed, 16 Aug 2023 11:38:51 +1000</pubDate></item><item><title><![CDATA[Making AI More Useful and Reliable with Modular Systems: MRKL]]></title><link>https://www.nownextlater.ai/Insights/post/making-ai-more-useful-and-reliable-with-modular-systems-mrkl</link><description><![CDATA[LLMs have some serious limitations that constrain their usefulness for real-world applications. To overcome these limitations, AI researchers have proposed a new type of AI system architecture called Modular Reasoning, Knowledge and Language (MRKL).]]></description><content:encoded><![CDATA[<div class="zpcontent-container blogpost-container "><div data-element-id="elm_r4wXq1G1Rjii1H0uUl9mjg" data-element-type="section" class="zpsection "><style type="text/css"></style><div class="zpcontainer-fluid zpcontainer"><div data-element-id="elm_omUWrDQnQ1qO0KkRlkHxhQ" data-element-type="row" class="zprow zprow-container zpalign-items- zpjustify-content- " data-equal-column=""><style type="text/css"></style><div data-element-id="elm_75IN8_ocSBO7BPhEfIXiZA" data-element-type="column" class="zpelem-col zpcol-12 zpcol-md-12 zpcol-sm-12 zpalign-self- "><style type="text/css"></style><div data-element-id="elm_vVhNHqQD1NhKqb_Xbyx6AQ" data-element-type="image" class="zpelement zpelem-image "><style> @media (min-width: 992px) { [data-element-id="elm_vVhNHqQD1NhKqb_Xbyx6AQ"] .zpimage-container figure img { width: 500px ; height: 600.42px ; } } @media (max-width: 991px) and (min-width: 768px) { [data-element-id="elm_vVhNHqQD1NhKqb_Xbyx6AQ"] .zpimage-container figure img { width:500px ; height:600.42px ; } } @media (max-width: 767px) { [data-element-id="elm_vVhNHqQD1NhKqb_Xbyx6AQ"] .zpimage-container figure img { width:500px ; height:600.42px ; } } [data-element-id="elm_vVhNHqQD1NhKqb_Xbyx6AQ"].zpelem-image { border-radius:1px; } </style><div data-caption-color="" data-size-tablet="" data-size-mobile="" data-align="center" data-tablet-image-separate="false" data-mobile-image-separate="false" class="zpimage-container zpimage-align-center zpimage-size-medium zpimage-tablet-fallback-medium zpimage-mobile-fallback-medium hb-lightbox " data-lightbox-options="
                type:fullscreen,
                theme:dark"><figure role="none" class="zpimage-data-ref"><span class="zpimage-anchor" role="link" tabindex="0" aria-label="Open Lightbox" style="cursor:pointer;"><picture><img class="zpimage zpimage-style-none zpimage-space-none " src="/Screenshot%202023-08-10%20at%209.09.12%20pm.png" width="500" height="600.42" loading="lazy" size="medium" alt="MRKL Systems" data-lightbox="true"/></picture></span></figure></div>
</div><div data-element-id="elm_N4IffEM4Qnep0M0r7j--OA" data-element-type="text" class="zpelement zpelem-text "><style> [data-element-id="elm_N4IffEM4Qnep0M0r7j--OA"].zpelem-text { border-radius:1px; } </style><div class="zptext zptext-align-left " data-editor="true"><p style="text-align:left;">In recent years, large language models (LLMs) like GPT-4 have shown impressive capabilities in generating human-like text and engaging in natural language conversations. However, LLMs also have some serious limitations that constrain their usefulness for real-world applications. To overcome these limitations, AI researchers have proposed a new type of AI system architecture called Modular Reasoning, Knowledge and Language (MRKL). <br></p><p style="text-align:left;"><br></p><div style="color:inherit;"><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">The Limitations of Large Language Models</span></p><p></p><p><br></p><p>While LLMs can produce remarkably fluent text, they often generate factual errors, nonsensical statements, and inconsistent responses. This happens because LLMs do not actually have any real understanding of the world or ability to reason - they just recognize patterns in the massive datasets they are trained on. As a result, LLMs lack:</p><ul style="margin-left:40px;"><li>Access to current, real-time information that is constantly changing, like stock prices or weather data. The pre-trained models only know what was in their training data.</li><li>Access to proprietary data like customer records that exist in a company's databases. LLMs cannot connect to external databases.</li><li>Ability to perform symbolic reasoning and math. They struggle with simple arithmetic and logical deductions.</li><li>Ability to learn major new capabilities without catastrophic forgetting. Fine-tuning LLMs on new datasets leads to losing their original skills.</li></ul><p><br></p><p>These problems severely limit the reliability and usefulness of LLMs for practical business applications. Companies cannot deploy unreliable AI assistants that generate false information or nonsensical outputs.</p><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">Introducing Modular AI Systems</span></p><p></p><p><br></p><p>To address the weaknesses of monolithic LLMs, AI researchers have proposed breaking AI systems into modules with different capabilities that can work together:</p><ul style="margin-left:40px;"><li>Neural modules based on LLMs that handle natural language</li><li>Symbolic modules that perform logical reasoning and math</li><li>Access to external knowledge bases like databases and APIs</li></ul><p><br></p><p>This is the idea behind Modular Reasoning, Knowledge and Language (MRKL) architectures. MRKL systems have a router module that analyzes incoming questions and routes them to the most appropriate module - either the core LLM, a symbolic module, or an external database.</p><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">Benefits of the Modular Approach</span></p><p></p><p><br></p><p>Modular AI architectures provide important benefits compared to monolithic LLMs:</p><ul style="margin-left:40px;"><li>Reliability through redundancy. If the core LLM fails, questions can be routed to more reliable modules.</li><li>Easy extensibility by adding modules without retraining the whole system.</li><li>Explainability, since it's clear which module produced an answer.</li><li>Up-to-date real-time data from external APIs and databases.</li><li>Secure access to proprietary data sources.</li><li>Improved reasoning abilities by combining neural networks and symbolic modules.</li><li>Avoidance of catastrophic forgetting. New skills don't override old ones.</li></ul><p><br></p><p>This modularity and hybrid approach allows AI systems to leverage the strengths of different techniques while minimizing their weaknesses.</p><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">Challenges of Integrating Neural and Symbolic AI</span></p><p></p><p><br></p><p>A key challenge in building modular AI systems is integrating the neural LLM components with the symbolic reasoning modules. These two types of AI rely on completely different processing techniques - neural nets versus discrete logical operations.</p><p><br></p><p>Researchers have found that even extracting basic math problems from text for input to a calculator module requires specialized training to reach high accuracy. For example, the query &quot;I lost one ball&quot; needs to be recognized as a subtraction problem: X - 1 = ?.</p><p><br></p><p>By using large datasets of mathematically annotated text, modular AI systems can be trained to extract appropriate reasoning tasks with over 99% accuracy. But significant research is still required to handle more complex reasoning across modules. Integrating neural networks and symbolic systems remains an active area of investigation.</p><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">The Future of Modular AI</span></p><p></p><p><br></p><p>Modular architectures represent an exciting evolution in AI that combines the strengths of different techniques. Companies like Anthropic and AI21 Labs are actively developing modular AI platforms to provide businesses with safer and more usable AI assistants. While challenges remain, the future appears bright for this hybrid approach to artificial intelligence.</p><p><br></p><p>Source:</p><p><span style="color:inherit;"><a href="https://arxiv.org/pdf/2205.00445.pdf" title="MRKL Systems" rel="">MRKL Systems</a></span></p><p></p></div></div>
</div><div data-element-id="elm_GZHJUMh2KTh65_KlSMcEGA" data-element-type="codeSnippet" class="zpelement zpelem-codesnippet "><div class="zpsnippet-container"><div class="video-container"><iframe src="https://www.youtube.com/embed/kSsRV1pSrhs?modestbranding=1&rel=0&cc_load_policy=1&iv_load_policy=3&controls=0&disablekb=1" width="560" height="315" title="Huge Language Models and Neuro-Symbolic AI - Prof. Yoav Shoham" loading=“lazy” frameborder="0" allow="fullscreen"></iframe></div>
</div></div></div></div></div></div></div> ]]></content:encoded><pubDate>Thu, 10 Aug 2023 21:21:30 +1000</pubDate></item><item><title><![CDATA[Enhancing AI with Symbolic Thinking]]></title><link>https://www.nownextlater.ai/Insights/post/enhancing-ai-with-symbolic-thinking</link><description><![CDATA[Researchers are exploring how to combine LLMs with neurosymbolic methods that incorporate logical reasoning and structure.]]></description><content:encoded><![CDATA[<div class="zpcontent-container blogpost-container "><div data-element-id="elm_92MOykrxQKud1bMa7iJXXQ" data-element-type="section" class="zpsection "><style type="text/css"></style><div class="zpcontainer-fluid zpcontainer"><div data-element-id="elm_U54X55u7TYirdWrR1rLrvA" data-element-type="row" class="zprow zprow-container zpalign-items- zpjustify-content- " data-equal-column=""><style type="text/css"></style><div data-element-id="elm_x5U3oKbOR3K_vjQPTrwGfg" data-element-type="column" class="zpelem-col zpcol-12 zpcol-md-12 zpcol-sm-12 zpalign-self- "><style type="text/css"></style><div data-element-id="elm_5XLnBfPx_RXLzPyqbU7ksA" data-element-type="image" class="zpelement zpelem-image "><style> @media (min-width: 992px) { [data-element-id="elm_5XLnBfPx_RXLzPyqbU7ksA"] .zpimage-container figure img { width: 500px ; height: 710.69px ; } } @media (max-width: 991px) and (min-width: 768px) { [data-element-id="elm_5XLnBfPx_RXLzPyqbU7ksA"] .zpimage-container figure img { width:500px ; height:710.69px ; } } @media (max-width: 767px) { [data-element-id="elm_5XLnBfPx_RXLzPyqbU7ksA"] .zpimage-container figure img { width:500px ; height:710.69px ; } } [data-element-id="elm_5XLnBfPx_RXLzPyqbU7ksA"].zpelem-image { border-radius:1px; } </style><div data-caption-color="" data-size-tablet="" data-size-mobile="" data-align="center" data-tablet-image-separate="false" data-mobile-image-separate="false" class="zpimage-container zpimage-align-center zpimage-size-medium zpimage-tablet-fallback-medium zpimage-mobile-fallback-medium hb-lightbox " data-lightbox-options="
                type:fullscreen,
                theme:dark"><figure role="none" class="zpimage-data-ref"><span class="zpimage-anchor" role="link" tabindex="0" aria-label="Open Lightbox" style="cursor:pointer;"><picture><img class="zpimage zpimage-style-none zpimage-space-none " src="/Screenshot%202023-08-10%20at%206.30.11%20pm.png" width="500" height="710.69" loading="lazy" size="medium" alt="Given facts, rules, and a question all ex- pressed in natural language, ProofWriter answers the question and generates a proof of the answer." data-lightbox="true"/></picture></span></figure></div>
</div><div data-element-id="elm_s3YK1MdKTt-gsY1xAsJt_w" data-element-type="text" class="zpelement zpelem-text "><style> [data-element-id="elm_s3YK1MdKTt-gsY1xAsJt_w"].zpelem-text { border-radius:1px; } </style><div class="zptext zptext-align-left " data-editor="true"><div style="color:inherit;"><div style="color:inherit;"><p>The rapid progress of artificial intelligence over the past decade owes much to a class of algorithms called transformer neural networks. Transformers gave rise to large language models (LLMs) like GPT-4 or Claude 2 that display impressive natural language abilities.</p><p><br></p><p>But as AI becomes more integrated into business processes, sole reliance on data-driven machine learning approaches like transformers may prove limiting. Researchers are exploring how to combine these powerful statistical models with neurosymbolic methods that incorporate logical reasoning and structure.</p><p><br></p><p>The result could be AI systems that blend raw pattern recognition power with human-like compositional generalization and interpretability.</p><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">The Rise of Large Language Models</span></p><p><br></p><p>Much of the current excitement around AI stems from the advances of LLMs over the past few years. Models like GPT-3, PaLM, and Google's LaMDA have shown the ability to generate human-like text, answer questions, and accomplish tasks from basic prompts.</p><p><br></p><p>LLMs owe their abilities to a neural network architecture called transformers. Transformers process text more holistically than previous recurrent neural networks. They capture long-range dependencies in language by attending to all words in a context.</p><p><br></p><p>Training transformers on massive text corpora like the internet produces universal language models. With enough data and compute, these models learn statistical representations that prove surprisingly versatile for language tasks.</p><p><br></p><p>Finetuning techniques allow specializing LLMs to specific applications by updating the models on task data. For example, a finetuned GPT-3 model can be adapted into a conversational chatbot or a code completion tool.</p><p><br></p><p>The broad capabilities of LLMs along with their ease of use via prompting led to widespread adoption. Startups like Anthropic and Cohere are commercializing LLMs for business use cases. Apps built on LLMs range from automating customer support to generating content to synthesizing code.</p><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">Limits of Language Models</span></p><p></p><p><br></p><p>But for all their progress, LLMs still suffer from key limitations. Most notably, they display limited compositional generalization outside the distribution of their training data. For example, a LLM trained on English text will struggle with novel sentence structures or made-up words.</p><p><br></p><p>Humans seamlessly compose known concepts into new combinations thanks to our intuitive understanding of language syntax and meaning. Neural networks have no such innate symbolic reasoning capabilities.</p><p><br></p><p>LLMs are also black boxes. They can generate plausible and useful text or code but offer no interpretable justification for their outputs. Lack of interpretability makes it hard to audit models or identify causes of failures.</p><p><br></p><p>Finally, the massive scale of data and compute required to train LLMs makes them environmentally costly. Requiring less data and smaller models would allow much wider deployment of AI technology.</p><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">Integrating Symbolic Representations</span></p><p></p><p><br></p><div style="color:inherit;"><p>To overcome the limits of language models, researchers are finding ways to incorporate more logical reasoning. The aim is to complement the statistical learning with capabilities closer to human understanding.</p><p><br></p><p>One approach injects structured knowledge representations into the training process. For example, some methods jointly train the language model with a knowledge graph. <span style="color:inherit;">Knowledge graphs are data structures that represent facts as networks of entities and relationships. They encode real-world knowledge in a machine-readable graph format with nodes for entities like people and edges for relationships like &quot;employed at&quot;. This allows computers to automatically reason over millions of interconnected facts. Knowledge graphs help power many AI applications today including search, recommendations, and question answering. </span>The knowledge graph acts like a symbolic memory bank to improve reasoning.</p><p><br></p><p>Other techniques draw inspiration from classic logic programming languages like Prolog. These languages represent knowledge as human-readable rules. By integrating them into the training, the aim is to bake in more systematic symbolic thinking.</p><p><br></p><p>Researchers are also finding ways to refine and check language model outputs using logical constraints. For instance, one idea runs the text through separate logic rules as an extra plausibility filter beyond the statistical patterns.</p><p><br></p><p>In each case, the goal is to guide, restrict, and enhance the pattern-finding abilities of language models with more deliberate symbolic reasoning. Just like humans blend intuitive thinking with logic, the hope is to achieve AI systems that integrate learned statistical correlations with structured symbolic representations.</p><p><br></p><p>The end result could be models that display more generalized reasoning abilities, while also producing outputs we can audit, validate, and explain.</p></div><p><br></p><p><span style="font-family:&quot;Oswald&quot;, sans-serif;font-size:16px;">Towards Hybrid Intelligence</span></p><p></p><p><br></p><p>Ultimately, the aim is achieving hybrid systems that integrate the complementary strengths of neural and symbolic AI. Some <span style="color:inherit;">researchers</span> argue that intelligence emerges from the interplay of two mechanisms:</p><ul><li>Correlation-based pattern recognition that is data-driven and associative.</li><li>Model-based compositional generalization relying on structured representations and explicit rules.</li></ul><p><br></p><p>Large transformer networks excel at the former while neurosymbolic methods specialize in the latter. Combining these two modes of reasoning could thus give rise to more human-like artificial intelligence.</p><p><br></p><p>The business implications of such hybrid AI systems are far-reaching. Logical components would allow verifying conclusions, checking ethical compliance, and generating step-by-step explanations. Incorporating domain constraints would reduce data needs and may lead to safer and less environmentally costly systems.</p><p><br></p><p>At the same time, retaining differentiable components preserves versatility, allows critiquing and updating symbolic knowledge, and facilitates integrating with downstream machine learning tasks.</p><p><br></p><p>Realizing this vision of integrated reasoning poses research challenges. Tradeoffs exist between symbolic interpretability and neural flexibility. Multi-component systems risk bottlenecks limiting end-to-end learning. Architectures that blur gradients across reasoning layers may be needed.</p><p><br></p><p>Nonetheless, the potential payoff for deployable, ethical, and broadly capable AI merits investment into these hybrid systems. Given the enthusiasm around LLMs today, injecting connections to symbolic reasoning could be a crucial next step in fulfilling their promise while mitigating risks.</p><p><br></p><p><span style="color:inherit;">Blending logical rule-based reasoning with modern neural networks could create more capable and reliable AI systems. This combination of human-like symbolic thinking and data-driven pattern recognition represents an exciting path forward. The result may be AI that better aligns with human intelligence in terms of adaptability, efficiency, and trustworthiness. Integrating the strengths of both of these approaches could lead to more advanced and human-compatible AI.</span></p><p><span style="color:inherit;"><br></span></p><p><span style="color:inherit;">Sources:</span></p><div style="color:inherit;"><a href="https://arxiv.org/abs/2205.11916" title="Constraining large language models with logic." rel="">Constraining large language models with logic</a><br></div><div style="color:inherit;"><a href="https://arxiv.org/abs/2302.07819" title="Neurologic decoding improves logical consistency of text generated by large language models." rel="">Neurologic decoding improves logical consistency of text generated by large language models</a></div><div style="color:inherit;"><a href="https://arxiv.org/abs/2305.13179" title="Teaching transformers to systematically reason with differentiable logic." rel="">Teaching transformers to systematically reason with differentiable logic</a></div><div style="color:inherit;"><a href="https://arxiv.org/abs/2012.13048" title="ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language." rel="">ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language</a></div><div style="color:inherit;"><a href="https://arxiv.org/abs/1909.03193" title="KG-BERT: BERT for knowledge graph completion." rel="">KG-BERT: BERT for knowledge graph completion</a></div><div style="color:inherit;"><a href="https://arxiv.org/abs/2305.13179" title="Neuro-symbolic concept learner: Discovering objects and their properties." rel="">Neuro-symbolic concept learner: Discovering objects and their properties</a><br></div><p></p></div></div><p></p></div>
</div></div></div></div></div></div> ]]></content:encoded><pubDate>Thu, 10 Aug 2023 18:34:26 +1000</pubDate></item></channel></rss>