Lederman, Gil

1. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning
   2018/07/20 by Gil Lederman, Markus N. Rabe, Lederman, Gil +5 · 2 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG) #Machine Learning and Algorithms #Machine Learning and Data Classification
2. Rotation Invariant Quantization for Model Compression
   2023/03/03 by Kampeas, Joseph, Nahshan, Yury, Kremer, Hanoch +4 · 1 citation
   #Artificial Intelligence (cs.AI) #E.4 #FOS: Computer and information sciences #I.2.4 #Information Theory (cs.IT) #Machine Learning (cs.LG)