159 citations · 798 across the 116 of their papers we have counts for
Showing 2024 · cs.PLShow all
2 papers · 2 filters
cs.PL2024
Uncertainty Quantification for Neurosymbolic Programs via Compositional Conformal Prediction
Ramya Ramalingam, Sangdon Park, Osbert Bastani
Machine learning has become an effective tool for automatically annotating unstructured data (e.g., images) with structured labels (e.g., object detections). As a result, a new pro…
cs.PL2024★ 2 cited
Opportunistically Parallel Lambda Calculus
Stephen Mell, Konstantinos Kallas, Steve Zdancewic +1
Scripting languages are widely used to compose external calls such as native libraries and network services. In such scripts, execution time is often dominated by waiting for these…