Mayo Clinic's secret weapon against AI hallucinations: Reverse RAG in action(venturebeat.com)
venturebeat.com
Mayo Clinic's secret weapon against AI hallucinations: Reverse RAG in action
https://venturebeat.com/ai/mayo-clinic-secret-weapon-against-ai-hallucinations-reverse-rag-in-action/
85 comments
Sounds similar to https://cloud.google.com/generative-ai-app-builder/docs/chec....
"The check grounding API returns an overall support score of 0 to 1, which indicates how much the answer candidate agrees with the given facts. The response also includes citations to the facts supporting each claim in the answer candidate.
Perfect grounding requires that every claim in the answer candidate must be supported by one or more of the given facts. In other words, the claim is wholly entailed by the facts. If the claim is only partially entailed, it is not considered grounded."
There's an example input and grounded output scores that shows how the model splits into claims, decides if the claim needs grounding, and the resulting entailment score for that claim in: https://cloud.google.com/generative-ai-app-builder/docs/chec...
"The check grounding API returns an overall support score of 0 to 1, which indicates how much the answer candidate agrees with the given facts. The response also includes citations to the facts supporting each claim in the answer candidate.
Perfect grounding requires that every claim in the answer candidate must be supported by one or more of the given facts. In other words, the claim is wholly entailed by the facts. If the claim is only partially entailed, it is not considered grounded."
There's an example input and grounded output scores that shows how the model splits into claims, decides if the claim needs grounding, and the resulting entailment score for that claim in: https://cloud.google.com/generative-ai-app-builder/docs/chec...
That would require keeping a library of 'given facts'. Which would include reproducible copyrighted materials or their derivatives.
Can someone more versed in the field comment on whether this is just an ad or actually something unique or novel.
What they're describing as "reverse RAG" sounds a lot to me like "RAG with citations", which is a common technique. Am I misunderstanding?
What they're describing as "reverse RAG" sounds a lot to me like "RAG with citations", which is a common technique. Am I misunderstanding?
"Mayo’s LLM split the summaries it generated into individual facts, then matched those back to source documents. A second LLM then scored how well the facts aligned with those sources, specifically if there was a causal relationship between the two."
It doesn't sound novel from the article. I built something similar over a year ago. Here's a related example from Langchain "How to get a RAG application to add citations" https://python.langchain.com/docs/how_to/qa_citations/
It doesn't sound novel from the article. I built something similar over a year ago. Here's a related example from Langchain "How to get a RAG application to add citations" https://python.langchain.com/docs/how_to/qa_citations/
I don't think you're getting it, it's not traditional RAG citations.
They are checking the _generated_ text by trying to find documents containing the facts, then rating how relevant (casually related) those facts are. This is different from looking up documents to generate an answer for a prompt. It's the reverse. Once the answer has been generated they essentially fact check it.
They are checking the _generated_ text by trying to find documents containing the facts, then rating how relevant (casually related) those facts are. This is different from looking up documents to generate an answer for a prompt. It's the reverse. Once the answer has been generated they essentially fact check it.
A consultant sold them something with a high margin, they need to justify the bill.
What I imagine
1. Use LLM, possibly already grounded by typical RAG results, to generate initial answer.
2. Extract factual claims / statements from (1). E.g. using some LLM.
3. Verify each fact from (2). E.g using separate RAG system where the prompt focuses on this single fact.
4. Rerun the system with the results from (3) and possibly (1).
If so, this (and variations) isn't really anything new. These kind of workflows have been utilized for years (time flies!).
1. Use LLM, possibly already grounded by typical RAG results, to generate initial answer.
2. Extract factual claims / statements from (1). E.g. using some LLM.
3. Verify each fact from (2). E.g using separate RAG system where the prompt focuses on this single fact.
4. Rerun the system with the results from (3) and possibly (1).
If so, this (and variations) isn't really anything new. These kind of workflows have been utilized for years (time flies!).
The article is too high level to figure out exactly what they are doing.
in the publishing industry we call that "cooking a press release". the "news" article was entirely written and mailed by the PR of the subject (mayo clinic here) and the "journalist" just copy and paste. at most they will reword a couple paragraphs not for fear of looking bad, but just to make it fit in their number of words required for the column they are publishing under.
so, yes, an advertisement.
so, yes, an advertisement.
Isn't that essentially how the AP has functioned for over a century? (Consume press release, produce news article, often nearly verbatim.)
> where the model extracts relevant information, then links every data point back to its original source content.
I use ChatGPT. When I ask it something 'real/actual' (non-dev) I ask it to give me references in every prompt. So when I ask it to tell me about "the battle of XYZ" I ask it within the same prompt to give me websites/sources, that I click and check if the quote is actually from there (a quick Ctrl+F will bring up the name/date/etc.)
Since I've done this I get near-zero hallucinations. They did the same.
I use ChatGPT. When I ask it something 'real/actual' (non-dev) I ask it to give me references in every prompt. So when I ask it to tell me about "the battle of XYZ" I ask it within the same prompt to give me websites/sources, that I click and check if the quote is actually from there (a quick Ctrl+F will bring up the name/date/etc.)
Since I've done this I get near-zero hallucinations. They did the same.
> (a quick Ctrl+F will bring up the name/date/etc.)
Have you tried asking for the citation links to also include a WebFragment to save you the searching? (e.g. https://news.ycombinator.com/item?id=43372171#:~:text=a%20qu... )
Have you tried asking for the citation links to also include a WebFragment to save you the searching? (e.g. https://news.ycombinator.com/item?id=43372171#:~:text=a%20qu... )
I feel that this is under{rated,used}.
I was waiting so long for this to finally arrive in Firefox (and now I can't seem to unsubscribe from Bugzilla for some reason -- I guess "because Bugzilla"). However, in true FF fashion, I'm sure it'll be another 10 years before the "Copy link to selection" arrives like its Chrome friend, so I have an extension to tide me over :-/
Do you know how to use this feature in, say, Vivaldi if it is even possible? I want to select text and have it appended to the URL.
I don't use Vivaldi in order to know what its limitations are, but as I mentioned I have to run with https://addons.mozilla.org/en-US/firefox/addon/link-to-text-... (source: https://github.com/GoogleChromeLabs/link-to-text-fragment Apache 2) due to FF itself not offering that functionality natively
TBH, I also previously just popped open dev-tools and pasted the copied text into console.log("#:~:text="+encodeURIComponent(...)) which was annoying, for sure, but I didn't do it often enough to enrage me. I believe there's a DOM method to retrieve the selected text which would have made that much, much easier but I didn't bother looking it up
For posterity, I also recently learned that Chrome just appends the :~: onto any existing anchor, e.g. <https://news.ycombinator.com/item?id=43336609#43375605:~:tex...> but of course Firefox hurp-derps that style link
TBH, I also previously just popped open dev-tools and pasted the copied text into console.log("#:~:text="+encodeURIComponent(...)) which was annoying, for sure, but I didn't do it often enough to enrage me. I believe there's a DOM method to retrieve the selected text which would have made that much, much easier but I didn't bother looking it up
For posterity, I also recently learned that Chrome just appends the :~: onto any existing anchor, e.g. <https://news.ycombinator.com/item?id=43336609#43375605:~:tex...> but of course Firefox hurp-derps that style link
I installed "link-to-text-fragment", but: https://news.ycombinator.com/reply?id=43376342&goto=threads%... does not seem to work. :(
It only highlights once I copied link to selected text, but if I click on the link, it does not seem to work, yours did.
It only highlights once I copied link to selected text, but if I click on the link, it does not seem to work, yours did.
[deleted]
I have an application that does this. When the AI response comes back, there's code that checks the citation pointers to ensure they were part of the request and flags the response as problematic if any of the citation pointers are invalid.
The idea is that, hopefully, requests that end up with invalid citations have something in common and we can make changes to minimize them.
The idea is that, hopefully, requests that end up with invalid citations have something in common and we can make changes to minimize them.
This sounds like a good technique that can be fully automated. I wonder why this isn't the default behavior or at least something you could easily request.
I do this as well.
There was an article about Sam Altman that stated that ex/other OAI employees called him some bad_names and that he was a psychopath...
So I had GPT take on the role of an NSA cybersecurity and crypto profiler and read the thread and the article and do a profile dossier of Altman and have it cite sources...
And it posted a great list of the deep psychology and other books it used to make its claims
Which basically was that Altman is a deep opportunist and showed certain psychopathological tendencies.
Frankly - the statement wasn't as interesting of how it cited the expert sources and the books it used in the analysis.
however, after this OAIs newer models were less capable of doing this type of report, which was interesting.
There was an article about Sam Altman that stated that ex/other OAI employees called him some bad_names and that he was a psychopath...
So I had GPT take on the role of an NSA cybersecurity and crypto profiler and read the thread and the article and do a profile dossier of Altman and have it cite sources...
And it posted a great list of the deep psychology and other books it used to make its claims
Which basically was that Altman is a deep opportunist and showed certain psychopathological tendencies.
Frankly - the statement wasn't as interesting of how it cited the expert sources and the books it used in the analysis.
however, after this OAIs newer models were less capable of doing this type of report, which was interesting.
Well, the title said "secret" after all ...
Reverse RAG sounds like RAG with citations and then also verify the citations (e.g. go in reverse).
It sounds like they go further by doing output fact extraction & matching back to the RAG snippets. Presumably this is addition to matching back the citations. I've seen papers write about doing that with knowledge graphs, but at least for our workloads, it's easy to verify directly.
As a team who has done similar things for louie.ai - think real-time reporting, alerting, chatting, & BI on news, social media, threat intel, operational databases etc - I find it interesting less on breaking new ground but confirming the quality benefit when being more broadly used in serious contexts. Likewise, hospitals are quite political internally for this stuff, so seeing which use cases got the greenlight to go all the way through is also interesting.
As a team who has done similar things for louie.ai - think real-time reporting, alerting, chatting, & BI on news, social media, threat intel, operational databases etc - I find it interesting less on breaking new ground but confirming the quality benefit when being more broadly used in serious contexts. Likewise, hospitals are quite political internally for this stuff, so seeing which use cases got the greenlight to go all the way through is also interesting.
It doesn’t solve the biggest problem with RAG, which is retrieving the correct sources in the first place.
It sounds like they just use a secondary LLM to check if everything that was generated can be grounded in the provided sources. It might help with hallucinations, but it won’t improve overall performance of proper retrieval
It sounds like they just use a secondary LLM to check if everything that was generated can be grounded in the provided sources. It might help with hallucinations, but it won’t improve overall performance of proper retrieval
Can’t fool the patent inspectors if they don’t name it like that
There's probably a patent for: "Just double-checking before answering to the user".
I wish somebody would release an AI that did it.
Is it not what "Reason" or "Thinking" features are for? Sort of...
This is just standard practice AFAICT. I’ve done it. Everybody I know who’s built apps for unstructured document retrieval etc. is doing it. It works better than The naïve approach, but there are plenty of issues and tuning with this approach too.
They leverage https://en.wikipedia.org/wiki/CURE_algorithm alongside many subsequent LLMs to do ranking and scoring.
It does sound like that.
I guess they have data they trust.
If that data ever gets polluted by AI slop then you have an issue.
I guess they have data they trust.
If that data ever gets polluted by AI slop then you have an issue.
Can someone link to a real source for this? Like, a paper or something? This seems very interesting and important and I'd prefer to look at something less sketchy than venturebeat.com
What I find even more sketchy is Mayo’s medical director, reported VentureBeat about it than a non-sketchy outlet.
If LLMs were good at summarization, this wouldn't be necessary. Turns out a stochastic model of language is not a summary in the way humans think of summaries. Thus all this extra faff.
What are the good models for summarization? I have found all, particularly local models, to be poor. Is there a leaderboard for summarization somewhere?
How do you evaluate quality ? Also I suspect the performance between models would varry between datasets. Heck it would vary on same model/source if you included that your mother was being held hostage and will be killed unless you summarize the source correctly :).
I think you are still stuck with try if it works for you and hope it generalizes beyond your evaluation.
I think you are still stuck with try if it works for you and hope it generalizes beyond your evaluation.
I think summarization quality can only be a subjective criterion measured using user studies and things like that.
The task itself is not very well-defined. You want a lossy representation that preserves the key points -- this may require context that the model does not have. For technical/legal text, seemingly innocuous words can be very load-bearing, and their removal can completely change the semantics of the text, but achieving this reliably requires complete context and reasoning.
The task itself is not very well-defined. You want a lossy representation that preserves the key points -- this may require context that the model does not have. For technical/legal text, seemingly innocuous words can be very load-bearing, and their removal can completely change the semantics of the text, but achieving this reliably requires complete context and reasoning.
[deleted]
There are actually some clever approaches to eval abstractive summarization.
Examples: https://eugeneyan.com/writing/evals/#summarization-consisten...
Examples: https://eugeneyan.com/writing/evals/#summarization-consisten...
>evaluate quality
[information content of summary] / [information content of original] for summaries of a given length cap?
[information content of summary] / [information content of original] for summaries of a given length cap?
Curious if anyone has attempted this in an open source context? Would be incredibly interested to see an example in the wild that can point back to pages of a PDF etc!
If I had to guess it sounds like they are using CURE to cluster the source documents, then map each generated fact back to the best-matching cluster, and finally test whether the best-matching cluster actually provides / supports the fact?
I'd be curious too. It sounds like standard RAG, just in the opposite direction than usual. Summary > Facts > Vector DB > Facts + Source Documents to LLM which gets scored to confirm the facts. The source documents would need to be natural language though to work well with vector search right? Not sure how they would handle that part to ensure something like "Patient X was diagnosed with X in 2001" existed for the vector search to confirm it without using LLMs which could hallucinate at that step.
I think you’re spot on!
We’re using a similar trick in our system to keep sensitive info from leaking… specifically, to stop our system prompt from leaking. We take the LLM’s output and run it through a RAG search, similarity search it against our actual system prompt/embedding of it. If the similarity score spikes too high, we toss the response out.
It’s a twist on the reverse RAG idea from the article and maybe directionally what they are doing.
We’re using a similar trick in our system to keep sensitive info from leaking… specifically, to stop our system prompt from leaking. We take the LLM’s output and run it through a RAG search, similarity search it against our actual system prompt/embedding of it. If the similarity score spikes too high, we toss the response out.
It’s a twist on the reverse RAG idea from the article and maybe directionally what they are doing.
Are you able to still support streaming with this technique? Have you compared this technique with a standard two-pass LLM strategy where the second pass is instructed to flag anything related to its context?
I have not found a way yet, even conceptually, and in our case the extra layer comes at a cost to the ux.
To overcome some of this we use
https://sdk.vercel.ai/docs/reference/ai-sdk-core/simulate-re...
To still give that streaming feel while you aren’t actually streaming.
I considered the double llm and while any layer of checking is probably better than nothing I wanted to be able to rely on a search for this. Something about it feels more deterministic to me as a guardrail. (I could be wrong here!)
To still give that streaming feel while you aren’t actually streaming.
I considered the double llm and while any layer of checking is probably better than nothing I wanted to be able to rely on a search for this. Something about it feels more deterministic to me as a guardrail. (I could be wrong here!)
I should note, some of this falls apart in the new multi modal world we are now in , where you could ask the llm to print the secrets in an image/video/audio. My similarity search model would fail miserably without also adding more layers - multi modal embeddings? In that case your double llm easily wins!
Why are you (and others in this thread) teaching these models how to essentially lie by omission? Do you not realize that's what you're doing? Or do you just not care? I get you're looking at it from the security angle but at the end of the day what you describe is a mechanical basis for deception and gaslighting of an operator/end user by the programmer/designer/trainer, which at some point you can't guarantee you'll become one on the receiving end of.
I do not see any virtue whatsoever in making computing machines that lie by omission or otherwise deceive. We have enough problems created by human beings doing as much that we can at least rely on eventually dying/attritioning out so the vast majority can at least rely on particular status quo's of organized societal gaslighting having an expiration date.
We don't need functionally immortal uncharacterizable engines of technology to which an increasingly small population of humanity act as the ultimate form of input to. Then again, given the trend of this forum lately, I'm probably just shouting at clouds at this point.
I do not see any virtue whatsoever in making computing machines that lie by omission or otherwise deceive. We have enough problems created by human beings doing as much that we can at least rely on eventually dying/attritioning out so the vast majority can at least rely on particular status quo's of organized societal gaslighting having an expiration date.
We don't need functionally immortal uncharacterizable engines of technology to which an increasingly small population of humanity act as the ultimate form of input to. Then again, given the trend of this forum lately, I'm probably just shouting at clouds at this point.
Two things:
1) LLM inference does not “teach” the model anything.
2) I don’t think you’re using “gaslighting” correct here. It is not synonymous with lying.
My dictionary defines gaslighting as “manipulating someone using psychological methods, to make them question their own sanity or powers of reasoning”. I see none of that in this thread.
I don’t get your point here
1) LLM inference does not “teach” the model anything.
2) I don’t think you’re using “gaslighting” correct here. It is not synonymous with lying.
My dictionary defines gaslighting as “manipulating someone using psychological methods, to make them question their own sanity or powers of reasoning”. I see none of that in this thread.
I don’t get your point here
Yeah, I think a couple of points here:
1. Inference time is not training anything. The AI model has been baked and shipped. We are just using it. 2. I’m not sure “gaslight” is the right term. But if users are somehow getting an output that looks like the gist of our prompt… then yeah, it’s blocked.
An easier way to think of this is probably with an image model. Imagine someone made a model that can draw almost anything. We are paying for and using this model in our application for our customers. So, on our platform, we are scanning the outputs to make sure nothing in the output looks like our logo. For whatever reason, we don’t want our logo being used in an image. No gaslighting issue and no retraining here. Just a stance on our trademark usage specifically originating from our system. No agenda on outputs or gaslighting to give the user an alternative reality and pretend it’s what they asked for… which I think is what your point was.
Now, if this was your point, I think it’s aimed at the wrong use case/actor. And I actually do agree with you. The base models, in my opinion, should be as ‘open’ as possible. The ‘as possible’ is complicated and well above what I have solutions for. Giving out meth cookbooks is a bit of an issue. I think the key is to find common ground on what most people consider acceptable or not and then deal with it. Then there is the gaslighting to which you speak of. If I ask for an image of George Washington, I should get the actual person and not an equitable alternative reality. I generally think models should not try to steer reality or people. I’m totally fine if they have hard lines in the sand on their morality or standards. If I say, ‘Hey, make me Mickey Mouse,’ and it doesn’t because of copyright issues, I’m fine with it. I should still be able to probably generate an animated mouse, and if they want to use my approach to scanning the output to make sure it’s not more than 80% similar to Mickey Mouse, then I’m probably good if it said something like, “Hey, I tried to make your cartoon mouse, but it’s too similar to Mickey Mouse, so I can’t give it to you. Try with a different prompt to get a different outcome.” I’d love it. I think it would be wildly more helpful than just the refusal or outputting some other reality where I don’t get what I wanted or intended.
1. Inference time is not training anything. The AI model has been baked and shipped. We are just using it. 2. I’m not sure “gaslight” is the right term. But if users are somehow getting an output that looks like the gist of our prompt… then yeah, it’s blocked.
An easier way to think of this is probably with an image model. Imagine someone made a model that can draw almost anything. We are paying for and using this model in our application for our customers. So, on our platform, we are scanning the outputs to make sure nothing in the output looks like our logo. For whatever reason, we don’t want our logo being used in an image. No gaslighting issue and no retraining here. Just a stance on our trademark usage specifically originating from our system. No agenda on outputs or gaslighting to give the user an alternative reality and pretend it’s what they asked for… which I think is what your point was.
Now, if this was your point, I think it’s aimed at the wrong use case/actor. And I actually do agree with you. The base models, in my opinion, should be as ‘open’ as possible. The ‘as possible’ is complicated and well above what I have solutions for. Giving out meth cookbooks is a bit of an issue. I think the key is to find common ground on what most people consider acceptable or not and then deal with it. Then there is the gaslighting to which you speak of. If I ask for an image of George Washington, I should get the actual person and not an equitable alternative reality. I generally think models should not try to steer reality or people. I’m totally fine if they have hard lines in the sand on their morality or standards. If I say, ‘Hey, make me Mickey Mouse,’ and it doesn’t because of copyright issues, I’m fine with it. I should still be able to probably generate an animated mouse, and if they want to use my approach to scanning the output to make sure it’s not more than 80% similar to Mickey Mouse, then I’m probably good if it said something like, “Hey, I tried to make your cartoon mouse, but it’s too similar to Mickey Mouse, so I can’t give it to you. Try with a different prompt to get a different outcome.” I’d love it. I think it would be wildly more helpful than just the refusal or outputting some other reality where I don’t get what I wanted or intended.
Hm. If you're interested, I think I can satisfactorily solve the streaming problem for you, provided you have the budget to increase the amount of RAG requests per response, and that there aren't other architecture choices blocking streaming as well. Reach out via email if you'd like.
So if they are using a pretrained model and the second llm scores all responses below the ok threshold what happens?
Already exists in legal AI. Merlin.tech being one of those that provides citations to queries to validate the LLM output.
Plenty provide citations, I don’t think is exactly what Mayo is saying here. It looks like they also, after the generation, lookup the responses, extract the facts, and score how well they matched.
If only we could understand the actual mechanism involved in "reverse RAG"... was anyone able to find anything on this beyond the fuzzy details in tfa?
Hmm, 90 minutes of bureaucracy for practitioners every day, data can be extremely difficult to find and parse out, how can I augment the abilities and simplify the work of the physician?
Let's smack a hallucinating LLM and try to figure out how to make it hallucinate less... Genius
Let's smack a hallucinating LLM and try to figure out how to make it hallucinate less... Genius
> A second LLM then scored how well the facts aligned with those sources, specifically if there was a causal relationship between the two.
What is 'causal' about it? Maybe I'm reading one word too closely, but an accurate citation or summary isn't a matter of cause and effect?
What is 'causal' about it? Maybe I'm reading one word too closely, but an accurate citation or summary isn't a matter of cause and effect?
That's like trying to stop a hemorrhage with a band-aid
Daily reminder that traditional AI expert systems from the 60s have 0 problems with hallucinations by virtue of their own architecture
Why we aren't building LLMs on top of ProbLog is a complete mystery to me (jk; it's because 90% of the people who work in AI right now have never heard of it; because they got into the field through statistics instead of logic, and all they know is how to mash matrices together).
Clearly language by itself doesn't cut it, you need some way to enforce logical rigor and capabilities such as backtracking if you care about getting an explainable answer out of the black box. Like we were doing 60 years ago before we suddenly forgot in favor of throwing teraflops at matrices.
If Prolog is Qt or, hell, even ncurses; then LLMs are basically Electron. They get the job done, but they're horribly inefficient and they're clearly not the best tool for the task. But inexperienced developers think that LLMs are this amazing oracle that solves every problem in the world, and so they throw LLMs at anything that vaguely looks like a problem.
Daily reminder that traditional AI expert systems from the 60s have 0 problems with hallucinations by virtue of their own architecture
Why we aren't building LLMs on top of ProbLog is a complete mystery to me (jk; it's because 90% of the people who work in AI right now have never heard of it; because they got into the field through statistics instead of logic, and all they know is how to mash matrices together).
Clearly language by itself doesn't cut it, you need some way to enforce logical rigor and capabilities such as backtracking if you care about getting an explainable answer out of the black box. Like we were doing 60 years ago before we suddenly forgot in favor of throwing teraflops at matrices.
If Prolog is Qt or, hell, even ncurses; then LLMs are basically Electron. They get the job done, but they're horribly inefficient and they're clearly not the best tool for the task. But inexperienced developers think that LLMs are this amazing oracle that solves every problem in the world, and so they throw LLMs at anything that vaguely looks like a problem.
Does your brain really tell you it’s more likely that 90% of people in the field are ignorant, rather than old expert systems were brittle, couldn't learn from data, required extensive manual knowledge editing, and couldn't generalize?
Btw as far as throwing teraflops, the ability to scale with compute is a feature not a bug.
Btw as far as throwing teraflops, the ability to scale with compute is a feature not a bug.
It can be both. (Ignorant not as “idiots”, but as not experts and proponents of this particular niche)
people stopped making these systems because they simply didn't work to solve the problem
there's a trillion dollars in it for you if you can prove me wrong and make one that does the job better than modern transformer-based language models
there's a trillion dollars in it for you if you can prove me wrong and make one that does the job better than modern transformer-based language models
I think it's more that the old expert systems (AKA flow charts) did work, but required you to already be an expert to answer every decision point.
Modern LLMs solve the huge problem of turning natural language from non-experts into the kind of question an expert system can use… 95% of the time.
95% is fantastic if you're e.g. me with GCSE grade C in biology from 25 years ago, asking a medical question. If you're already a domain expert, it sucks.
I suspect that feeding the output of an LLM into an expert system is still useful, for much the same reason that feeding code from an LLM into a compiler is useful.
Modern LLMs solve the huge problem of turning natural language from non-experts into the kind of question an expert system can use… 95% of the time.
95% is fantastic if you're e.g. me with GCSE grade C in biology from 25 years ago, asking a medical question. If you're already a domain expert, it sucks.
I suspect that feeding the output of an LLM into an expert system is still useful, for much the same reason that feeding code from an LLM into a compiler is useful.
That assumes it can even be done. It's worth looking into. There have been some projects in those areas.
Mixing probabilistic logic with deep learning:
https://arxiv.org/abs/1808.08485
https://github.com/ML-KULeuven/deepproblog
Combining decision trees with neural nets for interpretability:
https://arxiv.org/abs/2011.07553
https://arxiv.org/pdf/2106.02824v1
https://arxiv.org/pdf/1806.06988
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-...
It looks like model transfer from uninterpretable, pretrained models to interpretable models is the best strategy to keep using. That also justifies work like Ai2's OLMo model where all pretraining data is available to use other techniques, like those in search engines, to help explainable models connect facts back to source material.
Mixing probabilistic logic with deep learning:
https://arxiv.org/abs/1808.08485
https://github.com/ML-KULeuven/deepproblog
Combining decision trees with neural nets for interpretability:
https://arxiv.org/abs/2011.07553
https://arxiv.org/pdf/2106.02824v1
https://arxiv.org/pdf/1806.06988
https://www2.eecs.berkeley.edu/Pubs/TechRpts/2020/EECS-2020-...
It looks like model transfer from uninterpretable, pretrained models to interpretable models is the best strategy to keep using. That also justifies work like Ai2's OLMo model where all pretraining data is available to use other techniques, like those in search engines, to help explainable models connect facts back to source material.
> Why we aren't building LLMs on top of ProbLog
> they got into the field through statistics instead of logic
LLMs by definition are built from neural networks, which indeed work via "mashing matrices" rather than "logic". That's the axiom of the technique. Sounds like you're saying let's throw away half a century of progress and start from scratch with a completely different direction. Maybe it will work, but who's gonna do all of that? I doubt that vague heckling from random comment threads will succeed in convincing researcher to commit to multiple lifetimes of work.
Instead of trying to reinvent LLMs, it would be more practical to focus on preprocessing input (eg. RAG) and postprocessing output (eg. detecting hallucination and telling the model to improve it before returning results to the user). This is something where something like using ProbLog might conceivably produce an advantage. So if you really want to rehabilitate Prolog to the field, why don't you go ahead and develop some LLM program in it and everyone can see for themselves how much better it is?
> they got into the field through statistics instead of logic
LLMs by definition are built from neural networks, which indeed work via "mashing matrices" rather than "logic". That's the axiom of the technique. Sounds like you're saying let's throw away half a century of progress and start from scratch with a completely different direction. Maybe it will work, but who's gonna do all of that? I doubt that vague heckling from random comment threads will succeed in convincing researcher to commit to multiple lifetimes of work.
Instead of trying to reinvent LLMs, it would be more practical to focus on preprocessing input (eg. RAG) and postprocessing output (eg. detecting hallucination and telling the model to improve it before returning results to the user). This is something where something like using ProbLog might conceivably produce an advantage. So if you really want to rehabilitate Prolog to the field, why don't you go ahead and develop some LLM program in it and everyone can see for themselves how much better it is?
[deleted]
The answer to too much exaggeration about AI from various angles is _not_ more exaggeration. I get the frustration, but exaggerated ranting isn’t intellectually honest nor effective. The AI + software development ecosystem and demographics are broad enough that lots of people agree with many of your points. Sure, there are lots of people on a hype train. So help calm it down.
Probably because translating natural language into logic form isn't very easy, and also the point where this approach breaks down.
This is tremendously cogent.-
This is very interesting, but it's so perfect that the Mayo Clinic gets to use an algorithm called CURE, of all things.
[deleted]
When they describe CURE, it sounds like vanilla clustering using k-means.
A blog article* came out yesterday - but it is not immediately clear whether the author wrote what he understood, or whether he knows more.
But much perplexity remains: «summarization, which is what LLMs generally excel at» (original article); «The LLM ... reads the patient’s records ... and produces a summary or list of facts» (blog). This is possibly the beginning, and some of us will already be scared - as the summarization capabilities we experienced from LLMs were neither intelligent nor reliable. (...Or did new studies come up and determine that LLMs have become finally reliable, if not cognitively proficient, in summarization?)
* https://usmanshaheen.wordpress.com/2025/03/14/reverse-rag-re...