10 citations · 71 across the 49 of their papers we have counts for
Showing 2025Show all
3 papers · 1 filter
cs.LG2025
Program Semantic Inequivalence Game with Large Language Models
Antonio Valerio Miceli-Barone, Vaishak Belle, Ali Payani
Large Language Models (LLMs) can achieve strong performance on everyday coding tasks, but they can fail on complex tasks that require non-trivial reasoning about program semantics.…
cs.AI2025
Neuro-symbolic Weak Supervision: Theory and Semantics
Nijesh Upreti, Vaishak Belle
Weak supervision enables machine learning models to learn from limited or noisy labels, but it introduces challenges in reliability and semantic clarity, particularly in multi-inst…
cs.AI2025
A Counterfactual Cause in Situation Calculus
Daxin Liu, Vaishak Belle
Perhaps the most popular modern formulation of actual causality is the HP account by Halpern and Pearl. Recent advancement has focused on extension of HP account to lift its limite…