Vaishak Belle
18 papers · 2013–2026 · 6 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
π Conference Polyglot Β· Silver π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (24) π Academic Marathon Β· Half π£ Hot Topic Early Bird
π
Conference Pioneer
π₯
Unstoppable Β· Bronze
β
The Questioner
π
Century Club Β· Bronze
ποΈ
Keyword Collector
(61)
Top co-authors
Research topics
Artificial Intelligence
(11)
Machine Learning
(7)
Core AI
(6)
Bayesian & Probabilistic Β· Artificial Intelligence
(5)
Optimization & Theory
(5)
Natural Language Processing
(3)
Bayesian & Probabilistic Β· Machine Learning
(3)
Learning Paradigms
(3)
Mathematics & Optimization
(2)
Applications
(2)
Optimization
(2)
Deep Learning
(1)
Knowledge & Reasoning
(1)
Architectures
(1)
Core Methods
(1)
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
Lifted reasoning meets weighted model integration
UAI 2021
Weighted model counting with conditional weights for Bayesian networks
UAI 2021
Implicitly learning to reason in first-order logic
NeurIPS 2019
Efficient Symbolic Integration for Probabilistic Inference
IJCAI 2018
Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds
IJCAI 2017
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains
IJCAI 2017
Solving Probability Problems in Natural Language
IJCAI 2017
Hashing-Based Approximate Probabilistic Inference in Hybrid Domains: An Abridged Report
IJCAI 2016
ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains
IJCAI 2015
Multi-Agent Only Knowing on Planet Kripke
IJCAI 2015
Only Knowing Meets Common Knowledge
IJCAI 2015
Probabilistic Inference in Hybrid Domains by Weighted Model Integration
IJCAI 2015
Reasoning about Continuous Uncertainty in the Situation Calculus
IJCAI 2013