2 papers
cs.AI2026
Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
Hongyu Lin, Samer Abdallah, Makar Valentinov +5
Large Language Models (LLMs) have shown strong performance on code understanding tasks, yet they fundamentally lack the ability to perform precise, exhaustive mathematical reasonin…
cs.LG2024
Granger Causality Detection with Kolmogorov-Arnold Networks
Hongyu Lin, Mohan Ren, Paolo Barucca +1
Discovering causal relationships in time series data is central in many scientific areas, ranging from economics to climate science. Granger causality is a powerful tool for causal…