Alert button
Picture for Vaishak Belle

Vaishak Belle

Alert button

Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities

Jan 27, 2022
Xin Du, Benedicte Legastelois, Bhargavi Ganesh, Ajitha Rajan, Hana Chockler, Vaishak Belle, Stuart Anderson, Subramanian Ramamoorthy

Figure 1 for Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities
Figure 2 for Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities
Figure 3 for Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities
Figure 4 for Vision Checklist: Towards Testable Error Analysis of Image Models to Help System Designers Interrogate Model Capabilities
Viaarxiv icon

Principled Diverse Counterfactuals in Multilinear Models

Jan 17, 2022
Ioannis Papantonis, Vaishak Belle

Figure 1 for Principled Diverse Counterfactuals in Multilinear Models
Figure 2 for Principled Diverse Counterfactuals in Multilinear Models
Figure 3 for Principled Diverse Counterfactuals in Multilinear Models
Figure 4 for Principled Diverse Counterfactuals in Multilinear Models
Viaarxiv icon

MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks

Nov 02, 2021
Nicholas Hoernle, Rafael Michael Karampatsis, Vaishak Belle, Kobi Gal

Figure 1 for MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
Figure 2 for MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
Figure 3 for MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
Figure 4 for MultiplexNet: Towards Fully Satisfied Logical Constraints in Neural Networks
Viaarxiv icon

Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief

Oct 06, 2021
Christian Muise, Vaishak Belle, Paolo Felli, Sheila McIlraith, Tim Miller, Adrian R. Pearce, Liz Sonenberg

Figure 1 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 2 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 3 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Figure 4 for Efficient Multi-agent Epistemic Planning: Teaching Planners About Nested Belief
Viaarxiv icon

Learning Implicitly with Noisy Data in Linear Arithmetic

Oct 23, 2020
Alexander Philipp Rader, Ionela G. Mocanu, Vaishak Belle, Brendan Juba

Figure 1 for Learning Implicitly with Noisy Data in Linear Arithmetic
Figure 2 for Learning Implicitly with Noisy Data in Linear Arithmetic
Figure 3 for Learning Implicitly with Noisy Data in Linear Arithmetic
Figure 4 for Learning Implicitly with Noisy Data in Linear Arithmetic
Viaarxiv icon

Principles and Practice of Explainable Machine Learning

Sep 18, 2020
Vaishak Belle, Ioannis Papantonis

Figure 1 for Principles and Practice of Explainable Machine Learning
Figure 2 for Principles and Practice of Explainable Machine Learning
Figure 3 for Principles and Practice of Explainable Machine Learning
Figure 4 for Principles and Practice of Explainable Machine Learning
Viaarxiv icon

Logic, Probability and Action: A Situation Calculus Perspective

Jun 17, 2020
Vaishak Belle

Viaarxiv icon

Symbolic Logic meets Machine Learning: A Brief Survey in Infinite Domains

Jun 15, 2020
Vaishak Belle

Viaarxiv icon

Generating Random Logic Programs Using Constraint Programming

Jun 02, 2020
Paulius Dilkas, Vaishak Belle

Figure 1 for Generating Random Logic Programs Using Constraint Programming
Figure 2 for Generating Random Logic Programs Using Constraint Programming
Figure 3 for Generating Random Logic Programs Using Constraint Programming
Figure 4 for Generating Random Logic Programs Using Constraint Programming
Viaarxiv icon

On Constraint Definability in Tractable Probabilistic Models

Jan 29, 2020
Ioannis Papantonis, Vaishak Belle

Figure 1 for On Constraint Definability in Tractable Probabilistic Models
Figure 2 for On Constraint Definability in Tractable Probabilistic Models
Figure 3 for On Constraint Definability in Tractable Probabilistic Models
Viaarxiv icon