Picture for Zhaoyu Li

Zhaoyu Li

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation

Add code
Nov 01, 2024
Viaarxiv icon

Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency

Add code
Oct 28, 2024
Viaarxiv icon

Neuro-symbolic Learning Yielding Logical Constraints

Add code
Oct 28, 2024
Viaarxiv icon

APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts

Add code
Jun 19, 2024
Viaarxiv icon

Autoformalizing Euclidean Geometry

Add code
May 27, 2024
Viaarxiv icon

Learning Reliable Logical Rules with SATNet

Add code
Oct 03, 2023
Viaarxiv icon

G4SATBench: Benchmarking and Advancing SAT Solving with Graph Neural Networks

Add code
Sep 29, 2023
Viaarxiv icon

NSNet: A General Neural Probabilistic Framework for Satisfiability Problems

Add code
Nov 07, 2022
Viaarxiv icon

Multimodal Emotion-Cause Pair Extraction in Conversations

Add code
Oct 15, 2021
Figure 1 for Multimodal Emotion-Cause Pair Extraction in Conversations
Figure 2 for Multimodal Emotion-Cause Pair Extraction in Conversations
Figure 3 for Multimodal Emotion-Cause Pair Extraction in Conversations
Figure 4 for Multimodal Emotion-Cause Pair Extraction in Conversations
Viaarxiv icon

Graph Contrastive Pre-training for Effective Theorem Reasoning

Add code
Aug 24, 2021
Figure 1 for Graph Contrastive Pre-training for Effective Theorem Reasoning
Figure 2 for Graph Contrastive Pre-training for Effective Theorem Reasoning
Figure 3 for Graph Contrastive Pre-training for Effective Theorem Reasoning
Viaarxiv icon