Showing cs.LGShow all
2 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.LG2024
Temporal Inductive Logic Reasoning over Hypergraphs
Yuan Yang, Siheng Xiong, Ali Payani +2
Inductive logic reasoning is a fundamental task in graph analysis, which aims to generalize patterns from data. This task has been extensively studied for traditional graph represe…