Cited By
View all- Wang PYang TFu HLi GOng C(2024)Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial SolvingProceedings of the ACM on Programming Languages10.1145/36564328:PLDI(1361-1386)Online publication date: 20-Jun-2024
- Takisaka TZhang LWang CLiu J(2024)Lexicographic Ranking Supermartingales with Lazy Lower BoundsComputer Aided Verification10.1007/978-3-031-65633-0_19(420-442)Online publication date: 26-Jul-2024
- Bao JTrivedi NPathak DHsu JRoy SElkind E(2023)Data-driven invariant learning for probabilistic programs (extended abstract)Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence10.24963/ijcai.2023/712(6415-6419)Online publication date: 19-Aug-2023
- Show More Cited By