synthetic_apriori@programming.devM to Formal Methods@programming.dev · 1 year agoSo you want to be a proof engineer?plus-squareproofcraft.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkSo you want to be a proof engineer?plus-squareproofcraft.orgsynthetic_apriori@programming.devM to Formal Methods@programming.dev · 1 year agomessage-square0fedilink
synthetic_apriori@programming.devM to Formal Methods@programming.dev · edit-21 year agoThe Dafny Programming and Verification Languageplus-squaredafny.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkThe Dafny Programming and Verification Languageplus-squaredafny.orgsynthetic_apriori@programming.devM to Formal Methods@programming.dev · edit-21 year agomessage-square0fedilink
synthetic_apriori@programming.devM to Formal Methods@programming.devEnglish · edit-21 year agoBack in June, NASEM hosted a workshop on using AI for mathematical reasoning; many talks discussed the use of AI in developing formal mathematical proofs and formally verifying softwareplus-squarewww.nationalacademies.orgexternal-linkmessage-square0fedilinkarrow-up11arrow-down10
arrow-up11arrow-down1external-linkBack in June, NASEM hosted a workshop on using AI for mathematical reasoning; many talks discussed the use of AI in developing formal mathematical proofs and formally verifying softwareplus-squarewww.nationalacademies.orgsynthetic_apriori@programming.devM to Formal Methods@programming.devEnglish · edit-21 year agomessage-square0fedilink
