Samer Abdallah

1. Automatic Differentiation using Constraint Handling Rules in Prolog
   2017/06/01 by Samer Abdallah, Abdallah, Samer · 2 voices
   Computer Science · #FOS: Computer and information sciences #Mathematical Software (cs.MS) #Programming Languages (cs.PL) #Symbolic Computation (cs.SC) #cs.MS #cs.PL #cs.SC
2. Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
   2026/01/17 by Hongyu Lin, Samer Abdallah, Makar Valentinov +5 · 3 voices
   Computer Science · #cs.AI #cs.LO #cs.SE
3. A measure of statistical complexity based on predictive information
   2010/12/08 by Samer Abdallah, Abdallah, Samer A., Mark D. Plumbley +1 · 1 citation
   Physics and Astronomy · #Data Analysis #FOS: Computer and information sciences #FOS: Mathematics #FOS: Physical sciences #Information Theory (cs.IT) #Statistical Mechanics and Entropy #Statistics Theory (math.ST) #Statistics and Probability (physics.data-an)