Hongfei Fu

1. Foundations of Probabilistic Programming
   2020/11/18 by Fredrik Dahlqvist, Alexandra Silva, Dexter Kozen +45 · 1 voice · 5 citations
   Computer Science · #Bayesian Modeling and Causal Inference #Logic, Reasoning, and Knowledge
2. Termination Analysis of Probabilistic Programs through\n Positivstellensatz's
   2016/04/25 by Krishnendu Chatterjee, Hongfei Fu, Chatterjee, Krishnendu +3 · 7 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Logic, programming, and type systems
3. Algorithmic Analysis of Qualitative and Quantitative Termination\n Problems for Affine Probabilistic Programs
   2015/10/28 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Hongfei Fu +5 · 2 citations
   Computer Science · Decision Sciences · #Logic, Reasoning, and Knowledge #Bayesian Modeling and Causal Inference #Multi-Criteria Decision Making
4. Cost Analysis of Nondeterministic Probabilistic Programs
   2019/02/12 by Peixin Wang, Hongfei Fu, Wang, Peixin +9 · 3 citations
   Computer Science · #Formal Methods in Verification #Distributed systems and fault tolerance #Real-Time Systems Scheduling
5. Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
   2023/07/24 by Peixin Wang, Wang, Peixin, Tengshun Yang +7 · 4 citations
   Computer Science · Engineering · #Bayesian Modeling and Causal Inference #Machine Learning and Algorithms #Fault Detection and Control Systems
6. Proving Expected Sensitivity of Probabilistic Programs with Randomized Variable-Dependent Termination Time
   2019/02/13 by Peixin Wang, Wang, Peixin, Hongfei Fu +7 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Privacy-Preserving Technologies in Data #Programming Languages (cs.PL)
7. Termination of Nondeterministic Recursive Probabilistic Programs
   2017/01/11 by Krishnendu Chatterjee, Chatterjee, Krishnendu, Hongfei Fu +1 · 1 citation
   Computer Science · #AI-based Problem Solving and Planning #FOS: Computer and information sciences #Formal Methods in Verification #Machine Learning and Algorithms #Programming Languages (cs.PL)
8. Sharp Two-Round Adaptivity and Round Hierarchies for Semantic Regular Expressions
   2026/07/24 by Runzhou Li, Hongfei Fu, Qingkai Shi +1
   #cs.FL #cs.DS #cs.PL