Jeffrey M. Dudek

According to our database, Jeffrey M. Dudek authored at least 13 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

SparseEmbed: Learning Sparse Lexical Representations with Contextual Embeddings for Retrieval.

Weize Kong, Jeffrey M. Dudek, Cheng Li, Mingyang Zhang, Michael Bendersky

Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval, 2023

Learning Sparse Lexical Representations Over Specified Vocabularies for Retrieval.

Jeffrey M. Dudek, Weize Kong, Cheng Li, Mingyang Zhang, Michael Bendersky

Proceedings of the 32nd ACM International Conference on Information and Knowledge Management, 2023

2022

DPSampler: Exact Weighted Sampling Using Dynamic Programming.

Jeffrey M. Dudek, Aditya A. Shrotri, Moshe Y. Vardi

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

ProCount: Weighted Projected Model Counting with Graded Project-Join Trees.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

Parallel Weighted Model Counting with Tensor Networks.

Jeffrey M. Dudek, Moshe Y. Vardi

CoRR, 2020

Taming Discrete Integration via the Boon of Dimensionality.

Jeffrey M. Dudek, Dror Fried, Kuldeep S. Meel

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

DPMC: Weighted Model Counting by Dynamic Programming on Project-Join Trees.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

Proceedings of the Principles and Practice of Constraint Programming, 2020

ADDMC: Weighted Model Counting with Algebraic Decision Diagrams.

Jeffrey M. Dudek, Vu Phan, Moshe Y. Vardi

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Efficient Contraction of Large Tensor Networks for Weighted Model Counting through Graph Decompositions.

Jeffrey M. Dudek, Leonardo Dueñas-Osorio, Moshe Y. Vardi

CoRR, 2019

ADDMC: Exact Weighted Model Counting with Algebraic Decision Diagrams.

Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi

CoRR, 2019

Transformations of Boolean Functions.

Jeffrey M. Dudek, Dror Fried

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

2017

The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas.

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Combining the k-CNF and XOR Phase-Transitions.

Jeffrey M. Dudek, Kuldeep S. Meel, Moshe Y. Vardi

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016