Picture for Xujie Si

Xujie Si

LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation

Add code
Nov 01, 2024
Viaarxiv icon

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

Add code
Oct 26, 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

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff

Add code
May 26, 2024
Viaarxiv icon

Learning Minimal NAP Specifications for Neural Network Verification

Add code
Apr 06, 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

Can ChatGPT Pass An Introductory Level Functional Language Programming Course?

Add code
May 04, 2023
Viaarxiv icon

Chronosymbolic Learning: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning

Add code
May 02, 2023
Viaarxiv icon