智能AI
None
用于 Horn 逻辑推理的高质量嵌入
20467v1 Announce Type: new Abstract: Neural networks can be trained to rank the choices made by logical reasoners, resul
2026-05-22
Yifan Zhang, Yasir White, Dean Clark, Joseph Sanchez, Jevon Lipsey, Ashely Hirst, Jeff Heflin