Picture for Xujie Si

Xujie Si

$τ^2$-Bench: Evaluating Conversational Agents in a Dual-Control Environment

Add code
Jun 09, 2025
Viaarxiv icon

Extracting Interpretable Logic Rules from Graph Neural Networks

Add code
Mar 25, 2025
Figure 1 for Extracting Interpretable Logic Rules from Graph Neural Networks
Figure 2 for Extracting Interpretable Logic Rules from Graph Neural Networks
Figure 3 for Extracting Interpretable Logic Rules from Graph Neural Networks
Figure 4 for Extracting Interpretable Logic Rules from Graph Neural Networks
Viaarxiv icon

Learning Interpretable Logic Rules from Deep Vision Models

Add code
Mar 13, 2025
Figure 1 for Learning Interpretable Logic Rules from Deep Vision Models
Figure 2 for Learning Interpretable Logic Rules from Deep Vision Models
Figure 3 for Learning Interpretable Logic Rules from Deep Vision Models
Figure 4 for Learning Interpretable Logic Rules from Deep Vision Models
Viaarxiv icon

Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning

Add code
Feb 19, 2025
Figure 1 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Figure 2 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Figure 3 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Figure 4 for Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
Viaarxiv icon

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation

Add code
Feb 07, 2025
Figure 1 for RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
Figure 2 for RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
Figure 3 for RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
Figure 4 for RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation
Viaarxiv icon

Decoding Interpretable Logic Rules from Neural Networks

Add code
Jan 14, 2025
Figure 1 for Decoding Interpretable Logic Rules from Neural Networks
Figure 2 for Decoding Interpretable Logic Rules from Neural Networks
Figure 3 for Decoding Interpretable Logic Rules from Neural Networks
Figure 4 for Decoding Interpretable Logic Rules from Neural Networks
Viaarxiv icon

Decoupling Training-Free Guided Diffusion by ADMM

Add code
Nov 18, 2024
Figure 1 for Decoupling Training-Free Guided Diffusion by ADMM
Figure 2 for Decoupling Training-Free Guided Diffusion by ADMM
Figure 3 for Decoupling Training-Free Guided Diffusion by ADMM
Figure 4 for Decoupling Training-Free Guided Diffusion by ADMM
Viaarxiv icon

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation

Add code
Nov 01, 2024
Figure 1 for LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
Figure 2 for LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
Figure 3 for LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
Figure 4 for LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
Viaarxiv icon

Library Learning Doesn't: The Curious Case of the Single-Use "Library"

Add code
Oct 26, 2024
Figure 1 for Library Learning Doesn't: The Curious Case of the Single-Use "Library"
Figure 2 for Library Learning Doesn't: The Curious Case of the Single-Use "Library"
Figure 3 for Library Learning Doesn't: The Curious Case of the Single-Use "Library"
Figure 4 for Library Learning Doesn't: The Curious Case of the Single-Use "Library"
Viaarxiv icon

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

Add code
Jun 19, 2024
Viaarxiv icon