Volume: Vol-4230 DL 2026 | Year: 2026

Paper: « dl-paper17 | dl-paper20 | dl-paper22 »

Formal Reasoning with Learned Predicates (Extended Abstract)

• Gianluca Cima
• Marco Console
• Laura Papi

PDF