arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Rodrigo Castellano Ontiveros"" — arXiv2 Search
Showing 1–2 of 2 results
/ Date
/ Name
Nov 11, 2025
DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
Jul 10, 2025
Grounding Methods for Neural-Symbolic AI