Kareem Ahmed
11 papers · 2022–2025 · 7 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+4 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (19) π Conference Polyglot (7) π Interdisciplinary Bridge π§ Keyword Pioneer π Cross-Pollinator (15)
π€
Dynamic Duo
(11)
π
Grand Slam
π
Century Club
(11)
β
The Questioner
Conferences
ICLR (3)
NIPS (3)
AAAI (1)
AISTATS (1)
EMNLP (1)
ICML (1)
UAI (1)
Top co-authors
Keywords
neuro-symbolic learning
(4)
probabilistic inference
(2)
autoregressive model
(2)
constraint satisfaction
(2)
logical constraint
(2)
mutual information
(1)
marginal probability
(1)
knowledge graph
(1)
state space model
(1)
entropy regularization
(1)
language model
(1)
end-to-end learning
(1)
neuro-symbolic ai
(1)
symbolic knowledge
(1)
tractable circuit
(1)
fuzzy logic
(1)
differentiable loss
(1)
probability aggregation
(1)
label constraint
(1)
logic circuit
(1)
Papers
Controllable Generation via Locally Constrained Resampling
ICLR 2025
Scaling Tractable Probabilistic Circuits: A Systems Perspective
ICML 2024
Probabilistically Rewired Message-Passing Neural Networks
ICLR 2024
Where is the signal in tokenization space?
EMNLP 2024
Semantic Strengthening of Neuro-Symbolic Learning
AISTATS 2023
A Unified Approach to Count-Based Weakly Supervised Learning
NIPS 2023
SIMPLE: A Gradient Estimator for k-Subset Sampling
ICLR 2023
A Pseudo-Semantic Loss for Autoregressive Models with Logical Constraints
NIPS 2023
Neuro-symbolic entropy regularization
UAI 2022
PYLON: A PyTorch Framework for Learning with Constraints
AAAI 2022
Semantic Probabilistic Layers for Neuro-Symbolic Learning
NIPS 2022