I gave a chat for the workshop on how the synthesis of logic and equipment Discovering, Primarily regions like statistical relational Discovering, can allow interpretability.
Considering synthesizing the semantics of programming languages? We've a completely new paper on that, acknowledged at OOPSLA.
The Lab carries out analysis in synthetic intelligence, by unifying Finding out and logic, using a recent emphasis on explainability
Should you be attending NeurIPS this calendar year, chances are you'll be interested in trying out our papers that contact on morality, causality, and interpretability. Preprints can be found over the workshop webpage.
We evaluate the question of how generalized plans (plans with loops) can be considered suitable in unbounded and continual domains.
A consortia task on reliable units and goverance was acknowledged late last 12 months. News url right here.
Keen on teaching neural networks with logical constraints? We have now a brand new paper that aims in direction of entire fulfillment of Boolean and linear arithmetic constraints on coaching at AAAI-2022. Congrats to Nick and Rafael!
The post introduces a general logical framework for reasoning about discrete and constant probabilistic designs in dynamical domains.
A new collaboration Together with the NatWest Group on explainable device Understanding is discussed from the Scotsman. Link to article here. A preprint on the effects is going to be made readily available shortly.
Along with colleagues from Edinburgh and Herriot Watt, we have put out the call for a whole new investigate agenda.
Paulius' Focus on algorithmic approaches for randomly creating logic packages and probabilistic logic packages has actually been approved on the rules and practise of constraint programming (CP2020).
The framework is applicable to a substantial class of formalisms, like probabilistic relational designs. The paper also experiments the https://vaishakbelle.com/ synthesis dilemma in that context. Preprint here.
If you are attending AAAI this yr, chances are you'll have an interest in testing our papers that touch on fairness, abstraction and generalized sum-solution troubles.
I gave a talk over the challenges of artificial intelligence and study priorities at the Intercontinental Growth Culture.