0

Hongting Zhou

Papers
1

Cite

Notes

Only stored in your browser.

Attribution

Affiliations & profile
Semantic Scholar
Attribution policy →
1papers

Authored papers

1

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints

arXiv 2023

2023

Affiliations

No known affiliations.

Frequent co-authors

9

from 1 papers

Chao Qu

1 shared paper

Jianshan He

1 shared paper

Jingdong Chen

1 shared paper

Jingwei Wang

1 shared paper

Lele Xie

1 shared paper

Taifeng Wang

1 shared paper

Wei Chu

1 shared paper

Weidi Xu

1 shared paper

Xiaopei Wan

1 shared paper