#soundness — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #soundness, aggregated by home.social.
-
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.
-
Treasury Secretary Yellen
Told senators the US banking system dwellin'
Is full of soundness and sure
And Americans endure
That the bank will be there when they're callin' -
Treasury Secretary Yellen
Told senators the US banking system dwellin'
Is full of soundness and sure
And Americans endure
That the bank will be there when they're callin' -
Treasury Secretary Yellen
Told senators the US banking system dwellin'
Is full of soundness and sure
And Americans endure
That the bank will be there when they're callin' -
🚀 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