22 citations · 35 across the 5 of their papers we have counts for
Showing cs.LGShow 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.LG2020
Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming
Ali Payani, Faramarz Fekri
Relational Reinforcement Learning (RRL) can offers various desirable features. Most importantly, it allows for incorporating expert knowledge into the learning, and hence leading t…
cs.LG2019★ 13 cited
Learning Algorithms via Neural Logic Networks
Ali Payani, Faramarz Fekri
We propose a novel learning paradigm for Deep Neural Networks (DNN) by using Boolean logic algebra. We first present the basic differentiable operators of a Boolean system such as…