3 ms·
This is so interesting/cool to learn about. Thanks for sharing :) You're spot on - Tea is focused on ensuring statistical soundness. Another way to think about
by emjun 7y ago
This is so interesting/cool to learn about. Thanks for sharing :)
You're spot on - Tea is focused on ensuring statistical soundness. Another way to think about this: Tea helps people analyzing data from studies to "maximize internal validity."
I hope to support integration with existing tools/common workflows in the future. Microsoft R Open definitely looks like an interesting target.
It'd be great to follow-up. I visit Microsoft in Redmond periodically. If you're interested, email me! (<my username> at cs.washington.edu)
- kyllo 7y agoCool, I'll shoot you an e-mail. I'm very interested in the Tea project and potentially contributing to it too. It's the sort of thing that could make every working data scientist noticeably more effective at their jobs. I was thinking about whether it'd be possible to write something like Tea for R, but then I found there is no R package for Z3 nor any other SMT solver! So that would be an extra challenge...