27 followers
RT @adbrucker: Michael is now presenting our work on incorporating data into ESFM inference at @sefm_conf Interesting side aspect: the majo…
RT @adbrucker: Michael is now presenting our work on incorporating data into ESFM inference at @sefm_conf Interesting side aspect: the majo…
RT @adbrucker: Michael is now presenting our work on incorporating data into ESFM inference at @sefm_conf Interesting side aspect: the majo…
Michael is now presenting our work on incorporating data into ESFM inference at @sefm_conf Interesting side aspect: the majority of the actual tool is generated from a formal @isaprover model. https://t.co/9J84fi75jz preprint without paywall: https://t.co