goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org · 2 months agoyang-mills mass gapplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up13arrow-down10
arrow-up13arrow-down1external-linkyang-mills mass gapplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org · 2 months agomessage-square0fedilink
minus-squaregoosethe@lemmy.sdf.orgMtomath@lemmy.sdf.org•Interesting logic proof: (a OR b) -> c = (a -> c) AND (b -> c)linkfedilinkarrow-up1·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-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkopen source math textbooksplus-squaregithub.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.org to WorldNews@lemmy.sdf.org · 1 year agoAfter state board approves first taxpayer-funded Catholic school, Hindus seek same | KGOUplus-squarewww.kgou.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAfter state board approves first taxpayer-funded Catholic school, Hindus seek same | KGOUplus-squarewww.kgou.orggoosethe@lemmy.sdf.org to WorldNews@lemmy.sdf.org · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.org · 1 year agosome older machine learning booksplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linksome older machine learning booksplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org · 1 year agomessage-square0fedilink
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-squarearxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-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-squarearxiv.orggoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org · 1 year agomessage-square0fedilink
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.arxiv.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkTaming AI Bots: Prevent LLMs from entering "bad" states using continuous guidance from the LLM ("is this good? bad?") to avoid bad states.arxiv.orggoosethe@lemmy.sdf.orgM to math@lemmy.sdf.org · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agoThe TeX bookplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe TeX bookplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agoopen source data visualization booksplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkopen source data visualization booksplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agoThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe space of homogeneous probability measures on $\overline{\Gamma \backslash X}_{\max}^{S}$ is compactplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agoAutomorphic number theoryplus-squaredrive.google.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkAutomorphic number theoryplus-squaredrive.google.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
goosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agoNVIDIA's everything 2 anythingplus-squarewww.youtube.comexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkNVIDIA's everything 2 anythingplus-squarewww.youtube.comgoosethe@lemmy.sdf.orgM to math@lemmy.sdf.orgEnglish · 1 year agomessage-square0fedilink
this is called the distributivity of implication over disjunction in classical propositional logic