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. RoyUniversity of Toronto, Dept of Statistical Sciences; Computer ScienceVerified 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. SaadCMUVerified email at cmu.edu
- Frank StephanNational University of SingaporeVerified email at comp.nus.edu.sg
- Andre NiesUniversity of AucklandVerified email at cs.auckland.ac.nz
- Bjørn Kjos-HanssenProfessor of Mathematics, University of Hawaii at ManoaVerified email at hawaii.edu
- Diana CaiCenter for Computational Mathematics, Flatiron InstituteVerified email at flatironinstitute.org
- martin rinardMITVerified email at lcs.mit.edu
- Span SpanbauerMassachusetts Institute of TechnologyVerified email at mit.edu
- 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
- Hongseok YangProfessor, School of Computing, KAISTVerified email at kaist.ac.kr
- Dario SteinRadboud University NijmegenVerified email at ru.nl
- Jean-Baptiste TristanAmazon Web Services - Automated Reasoning GroupVerified email at bc.edu
- Jaroslav NešetřilCharles UniversityVerified email at kam.mff.cuni.cz
- Alex KruckmanWesleyan UniversityVerified email at wesleyan.edu