Drew, Dave, Larissa and I experienced the chance to talk about the motivatons and foundations for instigating The brand new research theme of Experiential AI in the ninety moment speak.
I is going to be providing a tutorial on logic and Mastering which has a concentrate on infinite domains at this yr's SUM. Backlink to celebration below.
Is going to be speaking at the AIUK party on rules and apply of interpretability in device Studying.
If you are attending NeurIPS this 12 months, you might have an interest in testing our papers that touch on morality, causality, and interpretability. Preprints are available on the workshop website page.
We evaluate the dilemma of how generalized designs (designs with loops) can be considered suitable in unbounded and continual domains.
I gave a talk on our modern NeurIPS paper in Glasgow although also masking other strategies for the intersection of logic, Finding out and tractability. Due to Oana for the invitation.
Enthusiastic about schooling neural networks with logical constraints? We have now a completely new paper that aims towards full pleasure of Boolean and linear arithmetic constraints on teaching at AAAI-2022. Congrats to Nick and Rafael!
Bjorn And that i are promotion a two 12 months postdoc on integrating causality, reasoning and know-how graphs for misinformation detection. See below.
Just lately, he has consulted with https://vaishakbelle.com/ major financial institutions on explainable AI and its impact in fiscal establishments.
In the paper, we exploit the XADD knowledge composition to carry out probabilistic inference in combined discrete-continual spaces proficiently.
He has served within the senior software committee/location chair of key AI conferences, co-chaired the ML observe at KR, amid Some others, and as PI and CoI secured a grant profits of near to 8 million pounds.
Our MLJ (2017) short article on organizing with hybrid MDPs was recognized for presentation with the journal track.
If you are attending AAAI this yr, you could possibly have an interest in testing our papers that touch on fairness, abstraction and generalized sum-item troubles.
I gave a chat about the hazards of artificial intelligence and research priorities within the Global Growth Society.