Search Results for author:
Found 2 papers, 1 papers with code
Solving Satisfiability Modulo Counting for Symbolic and Statistical AI Integration With Provable Guarantees
Solving SMC is challenging because of its highly intractable nature($\text{NP}^{\text{PP}}$-complete), incorporating statistical inference and symbolic reasoning.
OrcVIO: Object residual constrained Visual-Inertial Odometry
Introducing object-level semantic information into simultaneous localization and mapping (SLAM) system is critical.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
