Xujie Si
17 papers
· 2018–2026
· 8 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π§
Keyword Pioneer
π
Conference Polyglot
(7)
π
Academic Marathon
(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
Towards Robust Saliency Maps
ACML 2024
Autoformalizing Euclidean Geometry
ICML 2024
Towards Reliable Neural Specifications
ICML 2023