Steven Holtzen

1. Lilac: A Modal Separation Logic for Conditional Probability
   2023/04/03 by John M. Li, Amal Ahmed, Li, John M. +3 · 3 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Natural Language Processing Techniques #Logic, programming, and type systems
2. On the Relationship Between Probabilistic Circuits and Determinantal\n Point Processes
   2020/06/26 by Honghua Zhang, Steven Holtzen, Zhang, Honghua +3 · 1 citation
   Chemistry · #History and advancements in chemistry
3. Type Prediction With Program Decomposition and Fill-in-the-Type Training
   2023/05/25 by Federico Cassano, Ming‐Ho Yee, Cassano, Federico +7 · 1 citation
   Computer Science · #Software Engineering Research #Topic Modeling #Natural Language Processing Techniques
4. A Nominal Approach to Probabilistic Separation Logic
   2024/05/10 by John M. Li, Jon Aytac, Li, John M. +7 · 1 citation
   Computer Science · #Logic, Reasoning, and Knowledge