Xujie Si
17 papers · 2018–2026 · 8 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+10 more ↓ Show less ↑
π Academic Marathon (7) π§ Keyword Pioneer π Interdisciplinary Bridge π Conference Polyglot (7) π Cross-Pollinator (9)
π
Renaissance Researcher
(7)
πΊοΈ
Taxonomy Completionist
(39)
π
Interdisciplinary Bridge
π
Keyword Champion
(2)
π§¬
Topic Evolution
π
Century Club
(16)
π
Trend Setter
ποΈ
Keyword Collector
(76)
π₯
Unstoppable
(5)
β
The Questioner
Conferences
NIPS (7)
ICML (3)
ICLR (2)
ACL (1)
ACML (1)
CVPR (1)
EACL (1)
IJCAI (1)
Top co-authors
Keywords
program synthesis
(2)
graph neural network
(2)
differentiable maxsat solver
(2)
visual reasoning
(2)
logical reasoning
(2)
logical rule learning
(2)
belief propagation
(1)
decision making
(1)
adversarial robustness
(1)
mathematical reasoning
(1)
self-supervised learning
(1)
in-context learning
(1)
prompt engineering
(1)
conditional generation
(1)
visual question answering
(1)
sequential decision-making
(1)
program verification
(1)
evaluation methodology
(1)
numerical optimization
(1)
probabilistic inference
(1)
Papers
Is This LLM Library Learning? Evaluation Must Account For Compute and Behaviour
EACL 2026
TypyBench: Evaluating LLM Type Inference for Untyped Python Repositories
ICML 2025
APPL: A Prompt Programming Language for Harmonious Integration of Programs and Large Language Model Prompts
ACL 2025
Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
ICLR 2025
Decoupling Training-Free Guided Diffusion by ADMM
CVPR 2025
Towards Robust Saliency Maps
ACML 2024
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation
NIPS 2024
Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
NIPS 2024
Autoformalizing Euclidean Geometry
ICML 2024
Towards Reliable Neural Specifications
ICML 2023
Learning Reliable Logical Rules with SATNet
NIPS 2023
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
NIPS 2022
Techniques for Symbol Grounding with SATNet
NIPS 2021
Scallop: From Probabilistic Deductive Databases to Scalable Differentiable Reasoning
NIPS 2021
Synthesizing Datalog Programs using Numerical Relaxation
IJCAI 2019
Learning a Meta-Solver for Syntax-Guided Program Synthesis
ICLR 2019
Learning Loop Invariants for Program Verification
NIPS 2018