Neurosymbolic AI

1. CoTran: An LLM-based Code Translator using Reinforcement Learning with Feedback from Compiler and Symbolic Execution
2. Grounding Neural Inference with Satisfiability Modulo Theories
3. CGDTest (Talk, Paper)
4. Solver + Gradient Descent Training of Deep Neural Networks
5. Amnesiac Machine Learning
6. xAI-GAN: Enhancing Generative Adversarial Networks via Explainable AI Systems