goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 3 months agoyang-mills mass gapplus-squareexternal-linkmessage-square0 fedilinkarrow-up13
arrow-up13external-linkyang-mills mass gapplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 3 months agomessage-square0 Commentsfedilink
minus-squaregoosethe@lemmy.sdf.orgMtomath@lemmy.sdf.org•Interesting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)hexbear1·1 year agothis is called the distributivity of implication over disjunction in classical propositional logic linkfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agoopen source math textbooksplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkopen source math textbooksplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agosome older machine learning booksplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linksome older machine learning booksplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year ago"Prompt Gisting:" Train two models such that given inputs "Translate French<G1><G2>" and "<G1>G2>The cat," then G1 and G2 represent the entire instruction.plus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-link"Prompt Gisting:" Train two models such that given inputs "Translate French<G1><G2>" and "<G1>G2>The cat," then G1 and G2 represent the entire instruction.plus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agoTaming AI Bots: Prevent LLMs from entering "bad" states using continuous guidance from the LLM ("is this good? bad?") to avoid bad states.external-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkTaming AI Bots: Prevent LLMs from entering "bad" states using continuous guidance from the LLM ("is this good? bad?") to avoid bad states.goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agoThe TeX bookplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkThe TeX bookplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agoopen source data visualization booksplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkopen source data visualization booksplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agoThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agoAutomorphic number theoryplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkAutomorphic number theoryplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agoNVIDIA's everything 2 anythingplus-squareexternal-linkmessage-square0 fedilinkarrow-up11
arrow-up11external-linkNVIDIA's everything 2 anythingplus-squaregoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org • 1 year agomessage-square0 Commentsfedilink
this is called the distributivity of implication over disjunction in classical propositional logic