Smooth interpretation by Chaudhuri, Swarat, Solar Lezama, Armando

Get full text

Smoothing a program soundly and robustly by Chaudhuri, Swarat, Solar-Lezama, Armando

Get full text
Get full text

Euler: A System for Numerical Optimization of Programs by Chaudhuri, Swarat, Solar-Lezama, Armando

Get full text
Get full text

Bridging boolean and quantitative synthesis using smoothed proof search by Chaudhuri, Swarat, Clochard, Martin, Solar-Lezama, Armando

Get full text
Get full text

Neurosymbolic Programming for Science by Sun, Jennifer J, Tjandrasuwita, Megan, Sehgal, Atharva, Solar-Lezama, Armando, Chaudhuri, Swarat, Yue, Yisong, Costilla Reyes, Omar

Get full text