3 papers
cs.AI2026
An AI Monkey Gets Grapes for Sure -- Sphere Neural Networks for Reliable Decision-Making
Tiansi Dong, Henry He, Pietro Liò +1
This paper compares three methodological categories of neural reasoning: LLM reasoning, supervised learning-based reasoning, and explicit model-based reasoning. LLMs remain unrelia…
cs.AI2025
Sphere Neural-Networks for Rational Reasoning
Tiansi Dong, Mateja Jamnik, Pietro Liò
The success of Large Language Models (LLMs), e.g., ChatGPT, is witnessed by their planetary popularity, their capability of human-like communication, and also by their steadily imp…
cs.LG2025
Discrete Lagrangian Neural Networks with Automatic Symmetry Discovery
Yana Lishkova, Paul Scherer, Steffen Ridderbusch +4
By one of the most fundamental principles in physics, a dynamical system will exhibit those motions which extremise an action functional. This leads to the formation of the Euler-L…