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

researchr

You are not signed in
Sign in
Sign up

Weidi Xu, Jingwei Wang, Lele Xie, Jianshan He, Hongting Zhou, Taifeng Wang, Xiaopei Wan, Jingdong Chen, Chao Qu, Wei Chu. LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints. In The Twelfth International Conference on Learning Representations, ICLR 2024, Vienna, Austria, May 7-11, 2024. OpenReview.net, 2024. [doi]

This author has not been identified. Look up 'Weidi Xu' in GoogleThis author has not been identified. Look up 'Jingwei Wang' in GoogleThis author has not been identified. Look up 'Lele Xie' in GoogleThis author has not been identified. Look up 'Jianshan He' in GoogleThis author has not been identified. Look up 'Hongting Zhou' in GoogleThis author has not been identified. Look up 'Taifeng Wang' in GoogleThis author has not been identified. Look up 'Xiaopei Wan' in GoogleThis author has not been identified. Look up 'Jingdong Chen' in GoogleThis author has not been identified. Look up 'Chao Qu' in GoogleThis author has not been identified. Look up 'Wei Chu' in Google

runs on WebDSL