8 citations · 14 across the 9 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Formal verification of tilt estimation using the Rocq prover
Reynald Affeldt, Lynda Bentoucha, Yoshihiro Ishiguro +1
The safe operation of a humanoid robot critically relies on accurate estimation of its vertical orientation, or ``tilt''. This requires a variety of mathematical tools, including t…
cs.LO2026
A Foundation for Differentiable Logics using Dependent Type Theory
Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya +2
Differentiable logics are a family of quantitative logics originated in the machine learning literature. Because of their origin, differentiable logics often come equipped with ana…