Ong, C. -H. Luke

1. Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving
   2023/07/24 by Peixin Wang, Tengshun Yang, Wang, Peixin +7 · 5 citations
   Computer Science · Engineering · #Bayesian Modeling and Causal Inference #Machine Learning and Algorithms #Fault Detection and Control Systems
2. Change Actions: Models of Generalised Differentiation
   2019/02/14 by Alvarez-Picallo, Mario, Ong, C. -H. Luke · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. Polynomial Probabilistic Invariants and the Optional Stopping Theorem
   2019/10/25 by Anne Schreuder, Schreuder, Anne, C.-H. Luke Ong +1 · 2 citations
   Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Polynomial and algebraic computation
4. Fixing Incremental Computation: Derivatives of Fixpoints, and the Recursive Semantics of Datalog
   2018/11/14 by Mario Alvarez-Picallo, Alvarez-Picallo, Mario, Alex Eyers-Taylor +5 · 1 citation
   Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
5. Higher-Order Recursion Schemes and Collapsible Pushdown Automata:\n Logical Properties
   2020/10/13 by Christopher H. Broadbent, Broadbent, Christopher H., Arnaud Carayol +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
6. Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing
   2023/01/09 by Basim Khajwal, Khajwal, Basim, C.-H. Luke Ong +3 · 1 citation
   Biochemistry, Genetics and Molecular Biology · Computer Science · #Explainable Artificial Intelligence (XAI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning and Algorithms #Programming Languages (cs.PL) #Single-cell and spatial transcriptomics