Vaishak Belle
18 papers · 2013–2026 · 6 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+8 more ↓ Show less ↑
🏃 Academic Marathon (12) 🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (6) 🐝 Cross-Pollinator (15)
🏃
Academic Marathon
(12)
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(15)
🔥
Unstoppable
(5)
💎
Century Club
(17)
🚀
Conference Pioneer
❓
The Questioner
🗃️
Keyword Collector
(61)
Conferences
IJCAI (11)
AAAI (2)
UAI (2)
ACL (1)
COLING (1)
NIPS (1)
Top co-authors
Keywords
first-order logic
(4)
probabilistic inference
(3)
pac semantics
(2)
weighted model counting
(2)
weighted model integration
(2)
explainable ai
(1)
relational learning
(1)
probabilistic modeling
(1)
question answering
(1)
natural language inference
(1)
knowledge representation
(1)
text generation
(1)
natural language processing
(1)
natural language understanding
(1)
probabilistic reasoning
(1)
logical reasoning
(1)
constraint satisfaction
(1)
probabilistic programming
(1)
lifted inference
(1)
deep learning
(1)
Papers
The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going?
AAAI 2026
HyGenar: An LLM-Driven Hybrid Genetic Algorithm for Few-Shot Grammar Generation
ACL 2025
KEViN: A Knowledge Enhanced Validity and Novelty Classifier for Arguments
COLING 2022
MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
AAAI 2022
Learning Implicitly with Noisy Data in Linear Arithmetic
IJCAI 2021
Weighted model counting with conditional weights for Bayesian networks
UAI 2021
Lifted reasoning meets weighted model integration
UAI 2021
Implicitly learning to reason in first-order logic
NIPS 2019
Efficient Symbolic Integration for Probabilistic Inference
IJCAI 2018
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
IJCAI 2017
Solving Probability Problems in Natural Language
IJCAI 2017
Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds
IJCAI 2017
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report
IJCAI 2016
Probabilistic Inference in Hybrid Domains by Weighted Model Integration
IJCAI 2015
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains
IJCAI 2015
Only Knowing Meets Common Knowledge
IJCAI 2015
Multi-Agent Only Knowing on Planet Kripke
IJCAI 2015
Reasoning about Continuous Uncertainty in the Situation Calculus
IJCAI 2013