- Lockheed Martin (Arlington, VA)
- …of Trusted\-by\-Design Intelligent Systems \. TIL technology focus areas include Neuro \- Symbolic and Generative AI, AI Assurance, and Human\-AI Trust\. TIL ... related areas with strong mathematical background * Conducted research primarily in neuro \- symbolic AI, combining methods such as answer set programming \(ASP\),… more
- Lockheed Martin (Arlington, VA)
- …of Trusted\-by\-Design Intelligent Systems \. TIL technology focus areas include Neuro \- Symbolic and Generative AI, AI Assurance, and Human\-AI Trust\. TIL ... \(e\.g\., reinforcement learning, graph neural networks, game theory, causal fusion, neuro \- symbolic reasoning, GenAI \) \- Formal methods for assurance,… more