Get my own profile

Public access

View all9 articles

0 articles

available

not available

Based on funding mandates

### Co-authors

- Nate AckermanHarvard UniversityVerified email at math.harvard.edu
- Daniel M. RoyResearch Director, Vector Institute; Prof., U. Toronto (Statistics, CS)Verified email at utoronto.ca
- Rehana PatelMathematicianVerified email at wesleyan.edu
- Alexander D. Wissner-GrossHarvard, MITVerified email at post.harvard.edu
- Vikash K. MansinghkaMIT, Probabilistic Computing ProjectVerified email at mit.edu
- Feras A. SaadCarnegie Mellon UniversityVerified email at cmu.edu
- Frank StephanNational University of Singapore, Department of Mathematics and Department of Computer ScienceVerified email at comp.nus.edu.sg
- Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
- martin rinardMITVerified email at lcs.mit.edu
- Diana CaiCenter for Computational Mathematics, Flatiron InstituteVerified email at flatironinstitute.org
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Bjørn Kjos-HanssenProfessor of Mathematics, University of Hawaii at ManoaVerified email at hawaii.edu
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
- Julian AsilisPh.D. Student, University of Southern CaliforniaVerified email at usc.edu
- Dario SteinRadboud University NijmegenVerified email at ru.nl
- Jason RuteIBM ResearchVerified email at ibm.com
- Jeremy AvigadProfessor of Philosophy and Mathematical Sciences, Carnegie Mellon UniversityVerified email at cmu.edu
- Joshua B. TenenbaumMITVerified email at mit.edu
- Span SpanbauerMassachusetts Institute of TechnologyVerified email at mit.edu
- Alex KruckmanWesleyan UniversityVerified email at wesleyan.edu