Search Results - Holtzen, Steven

  • Showing 1 - 19 results of 19
Refine Results
  1. 1
    Inferring human intent from video by sampling hierarchical plans

    Inferring human intent from video by sampling hierarchical plans by Holtzen, Steven, Yibiao Zhao, Tao Gao, Tenenbaum, Joshua B., Song-Chun Zhu

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Scaling exact inference for discrete probabilistic programs

    Scaling exact inference for discrete probabilistic programs by Holtzen, Steven, Van den Broeck, Guy, Millstein, Todd

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  3. 3
    Lilac: A Modal Separation Logic for Conditional Probability

    Lilac: A Modal Separation Logic for Conditional Probability by Li, John M., Ahmed, Amal, Holtzen, Steven

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  4. 4
    Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

    Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting by Oakley, Lisa, Holtzen, Steven, Oprea, Alina

    Request full text
    Conference Proceeding
    Save to List
    Saved in:
  5. 5
    Bit Blasting Probabilistic Programs

    Bit Blasting Probabilistic Programs by Garg, Poorva, Holtzen, Steven, Van den Broeck, Guy, Millstein, Todd

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  6. 6
    Bit Blasting Probabilistic Programs

    Bit Blasting Probabilistic Programs by Garg, Poorva, Holtzen, Steven, Van den Broeck, Guy, Millstein, Todd

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting

    Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting by Oakley, Lisa, Holtzen, Steven, Oprea, Alina

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Lilac: A Modal Separation Logic for Conditional Probability

    Lilac: A Modal Separation Logic for Conditional Probability by Li, John M, Ahmed, Amal, Holtzen, Steven

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Scaling Exact Inference for Discrete Probabilistic Programs

    Scaling Exact Inference for Discrete Probabilistic Programs by Holtzen, Steven, Van den Broeck, Guy, Millstein, Todd

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    A Nominal Approach to Probabilistic Separation Logic

    A Nominal Approach to Probabilistic Separation Logic by Li, John M, Aytac, Jon, Johnson-Freyd, Philip, Ahmed, Amal, Holtzen, Steven

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    Scaling Integer Arithmetic in Probabilistic Programs

    Scaling Integer Arithmetic in Probabilistic Programs by Cao, William X, Garg, Poorva, Tjoa, Ryan, Holtzen, Steven, Millstein, Todd, Van den Broeck, Guy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Type Prediction With Program Decomposition and Fill-in-the-Type Training

    Type Prediction With Program Decomposition and Fill-in-the-Type Training by Cassano, Federico, Ming-Ho, Yee, Shinn, Noah, Guha, Arjun, Holtzen, Steven

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs

    flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs by Cheng, Ellie Y, Millstein, Todd, Van den Broeck, Guy, Holtzen, Steven

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    On the Relationship Between Probabilistic Circuits and Determinantal Point Processes

    On the Relationship Between Probabilistic Circuits and Determinantal Point Processes by Zhang, Honghua, Holtzen, Steven, Van den Broeck, Guy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Model Checking Finite-Horizon Markov Chains with Probabilistic Inference

    Model Checking Finite-Horizon Markov Chains with Probabilistic Inference by Holtzen, Steven, Junges, Sebastian, Vazquez-Chanlatte, Marcell, Millstein, Todd, Seshia, Sanjit A, Van Den Broeck, Guy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Generating and Sampling Orbits for Lifted Probabilistic Inference

    Generating and Sampling Orbits for Lifted Probabilistic Inference by Holtzen, Steven, Millstein, Todd, Van den Broeck, Guy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Symbolic Exact Inference for Discrete Probabilistic Programs

    Symbolic Exact Inference for Discrete Probabilistic Programs by Holtzen, Steven, Millstein, Todd, Van den Broeck, Guy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Logical Abstractions for Noisy Variational Quantum Algorithm Simulation

    Logical Abstractions for Noisy Variational Quantum Algorithm Simulation by Huang, Yipeng, Holtzen, Steven, Millstein, Todd, Van den Broeck, Guy, Martonosi, Margaret

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:
  19. 19
    Probabilistic Program Abstractions

    Probabilistic Program Abstractions by Holtzen, Steven, Millstein, Todd, Van den Broeck, Guy

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: