Steven Holtzen

Citirano

	Sve	Od 2020.
Citati	374	332
H-indeks	11	10
i10-indeks	12	11

140

105

20162017201820192020202120222023202420251 7 13 19 23 49 48 75 122 15

Javni pristup

Prikaži sve

10 članaka

0 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Guy Van den BroeckProfessor and Samueli Fellow, UCLAPotvrđena adresa e-pošte na cs.ucla.edu
Todd MillsteinProfessor of Computer Science, UCLAPotvrđena adresa e-pošte na cs.ucla.edu
Yibiao ZhaoCo-founder and CEO of ISEE AIPotvrđena adresa e-pošte na isee.ai
Tao GaoUCLA Department of Statistics and CommunicationPotvrđena adresa e-pošte na stat.ucla.edu
Amal AhmedNortheastern UniversityPotvrđena adresa e-pošte na ccs.neu.edu
Margaret MartonosiProfessor of Computer Science, Princeton UniversityPotvrđena adresa e-pošte na princeton.edu
Yipeng HuangRutgers UniversityPotvrđena adresa e-pošte na rutgers.edu
Joshua B. TenenbaumMITPotvrđena adresa e-pošte na mit.edu
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyPotvrđena adresa e-pošte na eecs.berkeley.edu
Marcell Vazquez-ChanlatteResearch Scientist at NissanPotvrđena adresa e-pošte na linux.com
Sebastian JungesAssistant Professor, Radboud University, NijmegenPotvrđena adresa e-pošte na ru.nl
Poorva GargGraduate Student at University of California, Los AngelesPotvrđena adresa e-pošte na cs.ucla.edu
Honghua ZhangUniversity of California, Los AngelesPotvrđena adresa e-pošte na cs.ucla.edu
Arjun GuhaNortheastern UniversityPotvrđena adresa e-pošte na northeastern.edu
Ellie Y. ChengMassachusetts Institute of TechnologyPotvrđena adresa e-pošte na csail.mit.edu
John GouwarCS PhD. Student, Northeastern UniversityPotvrđena adresa e-pošte na husky.neu.edu
song-chun zhuChair Professor, PKU, Director BIGAI

Prati

Steven Holtzen

Northeastern University

Potvrđena adresa e-pošte na northeastern.edu - Početna stranica

Computer Science Program Analysis Machine Learning


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
Scaling exact inference for discrete probabilistic programs S Holtzen, G Van den Broeck, T Millstein Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020	109	2020
Classification system with methodology for efficient verification D Lisuk, S Holtzen US Patent 9,390,086, 2016	43	2016
Inferring Human Intent from Video by Sampling Hierarchical Plans S Holtzen, Y Zhao, T Gao, JB Tenenbaum, SC Zhu IEEE International Conference on Intelligent Robots and Systems (IROS), 2016	43	2016
Model Checking Finite-Horizon Markov Chains with Probabilistic Inference S Holtzen, S Junges, M Vazquez-Chanlatte, T Millstein, S Seshia, ... 33rd International Conference on Computer-Aided Verification (CAV), 2021	22	2021
Sound Abstraction and Decomposition of Probabilistic Programs S Holtzen, G Van den Broeck, T Millstein International Conference on Machine Learning (ICML) 35, 2018	21	2018
Lilac: a Modal Separation Logic for Conditional Probability JM Li, A Ahmed, S Holtzen ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2023	20	2023
Logical Abstractions for Noisy Variational Quantum Algorithm Simulation Y Huang, S Holtzen, T Millstein, G Van den Broeck, M Martonosi International Conference on Architectural Support for Programming Languages …, 2021	19	2021
Generating and Sampling Orbits for Lifted Probabilistic Inference S Holtzen, T Millstein, G Van den Broeck Uncertainty in Artificial Intelligence (UAI), 2019	16	2019
Probabilistic Program Abstractions S Holtzen, T Millstein, G Van den Broeck Uncertainty in Artificial Intelligence (UAI), 2017	15	2017
Represent and Infer Human Theory of Mind for Human-Robot Interaction Y Zhao, S Holtzen, T Gao, SC Zhu 2015 AAAI Fall Symposium Series, 2015	15	2015
Dice: Compiling Discrete Probabilistic Programs for Scalable Inference. S Holtzen, GV Broeck, TD Millstein	11	2020
On the Relationship Between Probabilistic Circuits and Determinantal Point Processes H Zhang, S Holtzen, GV Broeck Proceedings of the 36th Conference on Uncertainty in Aritifical Intelligence …, 2020	10	2020
A Nominal Approach to Probabilistic Separation Logic JM Li, J Aytac, P Johnson-Freyd, A Ahmed, S Holtzen ACM/IEEE Symposium on Logic in Computer Science (LICS), 2024	8	2024
Symbolic Exact Inference for Discrete Probabilistic Programs S Holtzen, T Millstein, G Van den Broeck arXiv preprint arXiv:1904.02079, 2019	8	2019
Scaling integer arithmetic in probabilistic programs WX Cao, P Garg, R Tjoa, S Holtzen, T Millstein, G Van den Broeck Uncertainty in Artificial Intelligence, 260-270, 2023	6	2023
Type Prediction With Program Decomposition and Fill-in-the-Type Training F Cassano, MH Yee, N Shinn, A Guha, S Holtzen arXiv preprint arXiv:2305.17145, 2023	3	2023
Bit Blasting Probabilistic Programs P Garg, S Holtzen, GV Broeck, T Millstein ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2024	2	2024
flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs EY Cheng, T Millstein, GV Broeck, S Holtzen arXiv preprint arXiv:2110.10284, 2021	2	2021
Probabilistic logic programming semantics for procedural content generation A Madkour, C Martens, S Holtzen, C Harteveld, S Marsella Proceedings of the AAAI Conference on Artificial Intelligence and …, 2023	1	2023
Probabilistic Programming From the Ground Up: Lecture S Holtzen		2024

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori