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