Yexiang Xue

~Yexiang_Xue1

3

论文总数

3.0

年均投稿

4.8

平均评分

接收情况1/3

会议分布

ICLR

2

ICML

1

发表论文 (3 篇)

20253 篇

An Exact Solver for Satisfiability Modulo Counting with Probabilistic Circuits

ICLR 2025Rejected

Enhancing Deep Symbolic Regression via Reasoning Equivalent Expressions

ICLR 2025withdrawn

Solving Satisfiability Modulo Counting Exactly with Probabilistic Circuits

ICML 2025Poster

合作者 (3)

Jinzhao Li2 篇