Greg Anderson
- A CLT for a band matrix model
2004/12/02 by Greg W. Anderson, Greg Anderson, Anderson, Greg +2 · 2 citations
Mathematics · #15A52 #60F05 #Advanced Combinatorial Mathematics #Combinatorics (math.CO) #FOS: Mathematics #Probability (math.PR) #Random Matrices and Applications #Stochastic processes and statistical mechanics #math.CO #math.PR #msc:15A52 #msc:60F05
- Neurosymbolic Reinforcement Learning with Formally Verified Exploration
2020/09/26 by Greg Anderson, Anderson, Greg, Abhinav Verma +5 · 4 citations
Computer Science · Engineering · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Reinforcement Learning in Robotics #Robot Manipulation and Learning