17 citations · 59 across the 17 of their papers we have counts for
Showing 2023 · cs.PLShow all
2 papers · 2 filters
cs.PL2023★ 1 cited
SD: Differentiable Programming for Sparse Tensors
Amir Shaikhha, Mathieu Huot, Shideh Hashemian
Sparse tensors are prevalent in many data-intensive applications, yet existing differentiable programming frameworks are tailored towards dense tensors. This presents a significant…
cs.PL2023★ 1 cited
PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka +1
We introduce a new setting, the category of PAP spaces, for reasoning denotationally about expressive differentiable and probabilistic programming languages. Our semantics is ge…