Dawn Song (UC Berkeley): Formal Mathematical Reasoning: A New Frontier in AI.

Dawn Song. Dawn Song is a Professor in Computer Science at UC Berkeley and Co-Director of Berkeley Center on Responsible …

source