Vaishak Belle

18 papers · 2013–2026 · 6 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🌈 Renaissance Researcher (6) 🗺️ Taxonomy Completionist (25) 🌍 Conference Polyglot (6) 🐣 Hot Topic Early Bird 🏃 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

Brendan Juba (2) Gerhard Lakemeyer (2) Guy Van den Broeck (2) Andrea Passerini (2) Bjorn Ross (1) Samuel Kolb (1) Chris Sypherd (1) Angelika Kimmig (1) Hector J. Levesque (1) Yixuan Li (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

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