Volume: Vol-4276 LOGICNN 2026 | Year: 2026

Paper: « paper3 | poster3 | paper4 »

Neural Networks into Łukasiewicz Logic, with Applications to Formal Verification

• Sandro Preto
• Marcelo Finger

104-109 PDF