06:47
2026-08-10
surface.syr.edu
artificial-intelligence
Scaling Logical Reasoning on Modern HPC Hardware
Yihao Sun's doctoral dissertation, completed at Syracuse University under advisor Kristopher Micinski, demonstrates that GPU-accelerated HPC architectures can scale Datalog logic reasoning to supercom…