Tootfinder

{\L}ukasiewicz Logic with Actions for Neural Networks training
Ioana Leu\c{s}tean (University of Bucharest), Bogdan Macovei (University of Bucharest)
https://arxiv.org/abs/2509.13020

Łukasiewicz Logic with Actions for Neural Networks training
Based on the already known connection between multilayer perceptrons and Lukasiewicz logic with rational coefficients, we take a step forward in analyzing its training process using a three-sorted hybrid modal logic: a multilayer perceptron is a logical formula; the actions of the training process are modal operators; the training process is a sequence of logical deductions. Using the proof assistant and the programming language Lean 4, the algorithmic implementation of the training process is …

Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Canonical for Automated Theorem Proving in Lean
Chase Norman, Jeremy Avigad
https:/…

Replaced article(s) found for cs.LO. https://arxiv.org/list/cs.LO/new
[1/1]:
- Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
Jineon Baek, Seewoo Lee