#soundness — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #soundness, aggregated by home.social.
-
Wyrm – Solve algebra by touch, built on an open-source soundness engine
https://github.com/dicroce/wyrm_math
-
Wyrm – Solve algebra by touch, built on an open-source soundness engine
https://github.com/dicroce/wyrm_math
-
https://ia.cr/2025/1296 sounds disrupting.. looking 4 qualified opinions…
Tags to improve post exposure: #ZKP #simulator #cryptography #trustedsetup #interactive #soundness
-
https://ia.cr/2025/1296 sounds disrupting.. looking 4 qualified opinions…
Tags to improve post exposure: #ZKP #simulator #cryptography #trustedsetup #interactive #soundness
-
@mfowler the article gives a quite good account of the problems of #LLMs. Indeed, there is no element that guarantees the coherence, truth, or even the likelihood of the responses. However, this is not alone due to the probabilistic nature of those systems. There are probabilistic logics that, unlike LLMs, provide #guarantees for results. LLMs have not been designed to provide any guarantee for the #soundness of their results, but to provide good scores in benchmarks.
-
@mfowler the article gives a quite good account of the problems of #LLMs. Indeed, there is no element that guarantees the coherence, truth, or even the likelihood of the responses. However, this is not alone due to the probabilistic nature of those systems. There are probabilistic logics that, unlike LLMs, provide #guarantees for results. LLMs have not been designed to provide any guarantee for the #soundness of their results, but to provide good scores in benchmarks.
-
CW: Reading the fine print on deduction
The thing is, people think "Oh, validity is such a harsh mistress, she won't let any weak nonsense through"... but they (aided by how academic charity has been interpreted) forget about soundness.
Of course, soundness is irrelevant in mind experiments. When you say "all boys wear hats" you are not talking about actual boys, but rather you are defining an imaginary world where this is a foundational law, all boys wear hats. Any hatless wonder, whatever else it might be, is no boy.
But people are seldom satisfied with conclusions that only pertain to their own imaginary realms, and so they project their conclusions to an actuality in which soundness is not something that can be defined into being.
And that makes for very flimsy arguments.
For reality, deduction can, only really combine existing knowledge, and only to the extent that knowledge is trustworthy.
-
CW: Reading the fine print on deduction
The thing is, people think "Oh, validity is such a harsh mistress, she won't let any weak nonsense through"... but they (aided by how academic charity has been interpreted) forget about soundness.
Of course, soundness is irrelevant in mind experiments. When you say "all boys wear hats" you are not talking about actual boys, but rather you are defining an imaginary world where this is a foundational law, all boys wear hats. Any hatless wonder, whatever else it might be, is no boy.
But people are seldom satisfied with conclusions that only pertain to their own imaginary realms, and so they project their conclusions to an actuality in which soundness is not something that can be defined into being.
And that makes for very flimsy arguments.
For reality, deduction can, only really combine existing knowledge, and only to the extent that knowledge is trustworthy.
-
@chrisoffner3d exactly. Similar to mathematics teachers who explain errors in reasoning to pupils, we will need #informationdetectives who will spot errors in the output of #transformernetworks. It will be a gigantic task to establish #soundness in the coming age of #disinformation. Alternatively, we could simply avoid using an immature and problematic technology in products. But many people don’t get the issue. May be these are those who didn’t get the teachers’ explanations?
-
@chrisoffner3d exactly. Similar to mathematics teachers who explain errors in reasoning to pupils, we will need #informationdetectives who will spot errors in the output of #transformernetworks. It will be a gigantic task to establish #soundness in the coming age of #disinformation. Alternatively, we could simply avoid using an immature and problematic technology in products. But many people don’t get the issue. May be these are those who didn’t get the teachers’ explanations?
-
@vaishakbelle the purpose of #logicalreasoning is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for #commonsense reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And #deeplearning does not solve them either since #soundness does not matter in this field.
-
@vaishakbelle the purpose of #logicalreasoning is not to model the thought processes in our mind, but to define reasoning which is sound. Logic has complex rules, but a simple semantics. This semantics works well for mathematical, philosophical, and legal problems, but not for #commonsense reasoning. AI research discovered these issues in the 1970ies, but no simple solution has been found. And #deeplearning does not solve them either since #soundness does not matter in this field.
-
🚀 Getting back into the social groove by sharing a note about the #OER we have launched this week; see this Scholarly Communication Notebook post for more: https://lisoer.wordpress.ncsu.edu/2023/01/09/new-to-the-scn-publishing-values-based-scholarly-communication/
Our process has been truly collaborative and created entirely online; a cross-continental experience bringing joy (plus 💫 and 🦕) during testing times. It's also a resource enriched with the values of #openness #collegiality and #soundness. Much gratitude to all contributors for sharing their examples and the HuMetricsHSS team for inspiring a way to champion #publiclyengagedscholarship
🔗 to the site in bio and a big virtual 🤗 to anyone who joins our HC group! Let's keep the conversation going...
-
🚀 Getting back into the social groove by sharing a note about the #OER we have launched this week; see this Scholarly Communication Notebook post for more: https://lisoer.wordpress.ncsu.edu/2023/01/09/new-to-the-scn-publishing-values-based-scholarly-communication/
Our process has been truly collaborative and created entirely online; a cross-continental experience bringing joy (plus 💫 and 🦕) during testing times. It's also a resource enriched with the values of #openness #collegiality and #soundness. Much gratitude to all contributors for sharing their examples and the HuMetricsHSS team for inspiring a way to champion #publiclyengagedscholarship
🔗 to the site in bio and a big virtual 🤗 to anyone who joins our HC group! Let's keep the conversation going...
-
In #logic, there are two complementary ideas called "#soundness" and "#completeness". Formal systems that are sound and complete are the holy grail of theoretical computer science. These ideas form the foundation of all mathematical reasoning today, and we are all still grappling with the implications of Goedel's results. This (technical) opinion piece tries to articulate the question of whether #MachineLearning is sound and complete.
https://arxiv.org/abs/2209.04049 -
In #logic, there are two complementary ideas called "#soundness" and "#completeness". Formal systems that are sound and complete are the holy grail of theoretical computer science. These ideas form the foundation of all mathematical reasoning today, and we are all still grappling with the implications of Goedel's results. This (technical) opinion piece tries to articulate the question of whether #MachineLearning is sound and complete.
https://arxiv.org/abs/2209.04049