2 papers
cs.CV2025
Hybrid Mesh-Gaussian Representation for Efficient Indoor Scene Reconstruction
Binxiao Huang, Zhihao Li, Shiyong Liu +7
3D Gaussian splatting (3DGS) has demonstrated exceptional performance in image-based 3D reconstruction and real-time rendering. However, regions with complex textures require numer…
cs.LG2025
Tightening Robustness Verification of MaxPool-based Neural Networks via Minimizing the Over-Approximation Zone
Yuan Xiao, Yuchen Chen, Shiqing Ma +6
The robustness of neural network classifiers is important in the safety-critical domain and can be quantified by robustness verification. At present, efficient and scalable verific…