Quinshon Judkins Won’t Face Formal Charges, Should Report To Team Soon
Cleveland RB Quinshon Judkins will not face formal charges and should return to the team in the near…
#NFL #ClevelandBrowns #Cleveland #Browns #browns #charges #cleveland #face #Football #Formal #judkins #quinshon #report #should #soon #team #To #Won’t
https://www.rawchili.com/nfl/292201/
#leonardoCalculus #programming #knowledgeRepresentation #KR #formal #ontology #article
Leonardo Calculus Knowledge Representation: Defining sensors sense and sense2 lispdef helper action entities
https://screwlisp.small-web.org/lispgames/LCKR-defining-sensors-sense-using-cl-series/
Introduces and demos lispdef entities which in the upper ontology are entities containing lisp forms which can/do provide its concrete programming implementation.
Tying these together is obviously great, none of this "just an ontology" and "just not an ontology" stuff.
#programming #formal #ontology #lisp #Sandewall #knowledgeRepresentation #article #leonardoCalculus
Leonardo Calculus Knowledge Representation: Fleshing out organism’s attributes
Adding attributes to the organism type (plant, insect and bird are all subsumed-by organism). I also add a coelacanth of type organism to a world entityfile. In my view, quite a good and informational/instructional article if I do say so. What do you think?
https://screwlisp.small-web.org/lispgames/LCKR-fleshing-out-organisms-attributes/
#article #ontology #programming #formal #lisp #concrete
https://screwlisp.small-web.org/lispgames/plant-insect-bird-ontology/
Plant Insect Bird practical formal ontology with Leonardo calculus
I revisit my #lispgames #gamejam #gamedev. In this article I create a formal ontology to be a vehicle for my concrete game redux of the jam (which had been lacklustre if technically interesting. Let's be technically interesting and have more lustre this time round.
Thoughts, commentary, ontological guidance gentle and stern if you will please.
Spectacular #KellyVaughn #kelgeorgie in uniform
with #ChrisFiore and #MonicaKusley
Season 8 Episode 5 "Charlie"
#RandomBaywatch #lvdlpx #Baywatch #Funeral #Formal #Uniform #EyeCandy #BaywatchBabes #Charlie
Bob Coecke: "Lambek vs Lambek"
https://www.youtube.com/watch?v=0SNB4tLah0Q
The sound is not super good, but the video is nice for an overview of diagram language and applications
#categorytheory #vulgarisation #diagram #formal #language #nlp
Grammars of Formal Uncertainty
https://arxiv.org/abs/2505.20047
#HackerNews #Grammars #of #Formal #Uncertainty #arxiv #FormalLanguages #UncertaintyTheory #HackerNews
Large language models (LLMs) show remarkable promise for democratizing automated reasoning by generating formal specifications. However, a fundamental tension exists: LLMs are probabilistic, while formal verification demands deterministic guarantees. This paper addresses this epistemological gap by comprehensively investigating failure modes and uncertainty quantification (UQ) in LLM-generated formal artifacts. Our systematic evaluation of five frontier LLMs reveals Satisfiability Modulo Theories (SMT) based autoformalization's domain-specific impact on accuracy (from +34.8% on logical tasks to -44.5% on factual ones), with known UQ techniques like the entropy of token probabilities failing to identify these errors. We introduce a probabilistic context-free grammar (PCFG) framework to model LLM outputs, yielding a refined uncertainty taxonomy. We find uncertainty signals are task-dependent (e.g., grammar entropy for logic, AUROC>0.93). Finally, a lightweight fusion of these signals enables selective verification, drastically reducing errors (14-100%) with minimal abstention, transforming LLM-driven formalization into a reliable engineering discipline.
Cleveland Browns
Stinkek the uhhh...
jnpn
screwlisp
Sydney Burk
RandomBaywatch
Stephane L Rolland-Brabant ⁂⧖⏚
Hacker News