Jinzhao Li

~Jinzhao_Li1

2

论文总数

2.0

年均投稿

5.3

平均评分

接收情况1/2

会议分布

ICLR

1

ICML

1

发表论文 (2 篇)

20252 篇

An Exact Solver for Satisfiability Modulo Counting with Probabilistic Circuits

ICLR 2025Rejected

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits

ICML 2025Poster

合作者 (2)

Yexiang Xue2 篇