https://dl.acm.org/doi/10.1145/3448248 The pursuit of responsible AI raises the ante on both the trustworthy computing and formal methods communities.
We held our workshop at TransAI last week with an excellent reception. While we only had 2 research papers focused on trustworthy machine learning, the discussion focused on…
https://www.theregister.com/2023/07/01/microsoft_github_copilot/ It is interesting to see that they know they are violating licenses by slightly changing code to obfuscate the origin. That kind of deliberate behavior gets full…