Skip to content

Commit d94b7ff

Browse files
committed
update
1 parent 15c2a8d commit d94b7ff

10 files changed

Lines changed: 201 additions & 0 deletions

.gitignore

Whitespace-only changes.

assets/images/abs_result.png

1.88 MB
Loading
350 KB
Loading

assets/images/pipeline.png

2.04 MB
Loading
60.7 KB
Loading
12.4 MB
Binary file not shown.
1.4 MB
Binary file not shown.

assets/videos/output_small.mp4

47.4 MB
Binary file not shown.

index.html

Lines changed: 91 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,91 @@
1+
<!DOCTYPE html>
2+
<html lang="en">
3+
<head>
4+
<meta charset="UTF-8">
5+
<meta name="viewport" content="width=device-width, initial-scale=1.0">
6+
<title>Project Title</title>
7+
<link rel="stylesheet" href="style.css">
8+
</head>
9+
10+
<body>
11+
12+
<div class="container" style="text-align: center;">
13+
<h1>Abstract Rendering: Certified Rendering Under 3D
14+
Semantic Uncertainty</h1>
15+
<h3>Chenxi Ji<sup>*</sup>, Yangge Li<sup>*</sup>, Xiangru Zhong<sup>*</sup>, Huan Zhang, Sayan Mitra</h3>
16+
<h4>University of Illinois, Urbana-Champaign</h4>
17+
18+
<p>
19+
<a href="assets/pdf/AbstractRendering_Neurips2025.pdf">[Paper]</a> |
20+
<a href="https://github.com/IllinoisReliableAutonomyGroup/Abstract-Rendering.git">[Code]</a>
21+
</p>
22+
23+
<img src="assets/images/pipeline.png" class="teaser" alt="Teaser Image" style="width: 100%;">
24+
25+
<h2>Abstract</h2>
26+
<p style="text-align: left;">
27+
Rendering produces 2D images from 3D scene representations, yet how continuous variations in camera pose and scenes influence these images—and, consequently, downstream visual models—remains underexplored. We introduce <strong>Abstract Rendering</strong>, a framework that computes provable bounds on all images rendered under continuously varying camera poses and scenes. The resulting abstract image, expressed as a set of constraints over the image matrix, enables rigorous uncertainty propagation through downstream neural networks and thereby supports certification of model behavior under realistic 3D semantic perturbations, far beyond traditional pixel-level noise models.
28+
</p><br>
29+
30+
<p style="text-align: left;">
31+
Our approach propagates camera pose uncertainty through each rendering step using efficient piecewise linear bounds, including custom abstractions for three rendering-specific operations—matrix inversion, sorting-based aggregation, and cumulative product summation—not supported by standard tools. Our implementation, <strong>ABSTRACTRENDER</strong>, targets two state-of-the-art photorealistic scene representations—3D Gaussian Splats and Neural Radiance Fields (NeRF)—and scales to complex scenes with up to 1M Gaussians.
32+
</p><br>
33+
34+
<p style="text-align: left;">
35+
Our computed abstract images achieve up to <strong>3% over-approximation error</strong> compared to sampling results (baseline). Through experiments on classification (ResNet), object detection (YOLO), and pose estimation (GATENet) tasks, we demonstrate that abstract rendering enables formal certification of downstream models under realistic 3D variations—an essential step toward safety-critical vision systems.
36+
</p><br>
37+
38+
<h2>SlideVideo</h2>
39+
<div class="slidevideo-container">
40+
<video class="wide-video" controls>
41+
<source src="assets/videos/output_small.mp4" type="video/mp4">
42+
Your browser does not support the video tag.
43+
</video>
44+
</div>
45+
46+
<h2>Abstract Images</h2>
47+
<p style="text-align: left;">Lower bound and upper bound images are supposed to contain all images that can be rendered from given range of camera (scene) movement, like reference images.</p>
48+
49+
<video class="wide-video" controls>
50+
<source src="assets/videos/AR_vis_airplane_grey.mp4" type="video/mp4">
51+
</video><br>
52+
<img src="assets/images/abs_result.png" class="teaser" alt="Teaser Image" style="width: 100%;"><br>
53+
54+
<h2>Downstream NN Verification</h2>
55+
<p style="text-align: left;">Verified range of camera movement for which the downstream NN (ResNet classifer or GateNet pose estimator) is certified to work (color in green), and identify the ranges where it may fail (color in red).</p>
56+
57+
<img src="assets/images/classification result.png" class="teaser" alt="Teaser Image" style="width: 100%;">
58+
<img src="assets/images/pose estimator result.png" class="teaser" alt="Teaser Image" style="width: 100%;">
59+
<br>
60+
61+
<h2>BibTeX</h2>
62+
<pre style="text-align: left;">
63+
@inproceedings{jiabstract,
64+
title={Abstract Rendering: Certified Rendering Under 3D Semantic Uncertainty},
65+
author={Ji, Chenxi and Li, Yangge and Zhong, Xiangru and Zhang, Huan and Mitra, Sayan},
66+
booktitle={The Thirty-ninth Annual Conference on Neural Information Processing Systems}
67+
}
68+
</pre><br>
69+
70+
<h2>Acknowledgments and Funding</h2>
71+
<p style="text-align: left;">
72+
Chenxi Ji, Yangge Li, and Sayan Mitra are supported by a research grant from The Boeing Company and NSF (FMITF-2525287). Huan Zhang and Xiangru Zhong are supported in part by the AI2050 program at Schmidt Sciences (AI2050 Early Career Fellowship) and NSF (IIS SLES-2331967, CCF FMITF-2525287).
73+
</p>
74+
75+
<h2>Reference</h2>
76+
<p style="text-align: left;">
77+
[1] Bernhard Kerbl, Georgios Kopanas, Thomas Leimkühler, and George Drettakis. 3d gaussian splatting for real-time radiance field rendering. <i>ACM Trans. Graph.</i>, 42(4):139–1, 2023.
78+
</p><br>
79+
<p style="text-align: left;">
80+
[2] Ben Mildenhall, Pratul P Srinivasan, Matthew Tancik, Jonathan T Barron, Ravi Ramamoorthi, and Ren Ng. Nerf: Representing scenes as neural radiance fields for view synthesis. <i>Communications of the ACM</i>, 65(1):99–106, 2021.
81+
</p><br>
82+
<p style="text-align: left;">
83+
[3] Huan Zhang, Tsui-Wei Weng, Pin-Yu Chen, Cho-Jui Hsieh, and Luca Daniel. Efficient neural network robustness certification with general activation functions. <i>Advances in neural information processing systems</i>, 31, 2018.
84+
</p><br>
85+
86+
</div>
87+
88+
89+
90+
</body>
91+
</html>

style.css

Lines changed: 110 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,110 @@
1+
/* Global / resets */
2+
* {
3+
box-sizing: border-box;
4+
margin: 0;
5+
padding: 0;
6+
}
7+
body {
8+
font-family: 'Segoe UI', Tahoma, Geneva, Verdana, sans-serif;
9+
background-color: #f9f9f9;
10+
color: #222;
11+
line-height: 1.6;
12+
}
13+
a {
14+
color: #0066cc;
15+
text-decoration: none;
16+
}
17+
a:hover {
18+
text-decoration: underline;
19+
}
20+
21+
/* Header */
22+
header {
23+
background-color: #fff;
24+
padding: 60px 20px 40px;
25+
text-align: center;
26+
border-bottom: 1px solid #e0e0e0;
27+
}
28+
header h1 {
29+
font-size: 2.5rem;
30+
margin-bottom: 10px;
31+
}
32+
header .authors, header .date {
33+
color: #555;
34+
font-size: 0.9rem;
35+
margin: 2px 0;
36+
}
37+
38+
/* Navigation links under header */
39+
.top-nav {
40+
text-align: center;
41+
margin: 20px 0;
42+
}
43+
.top-nav a {
44+
margin: 0 10px;
45+
font-weight: 500;
46+
}
47+
48+
/* Main content area */
49+
.container {
50+
max-width: 800px;
51+
margin: auto;
52+
padding: 0 20px 60px;
53+
background-color: #fff;
54+
}
55+
56+
/* Sections */
57+
section {
58+
margin: 40px 0;
59+
}
60+
section h2 {
61+
font-size: 1.6rem;
62+
margin-bottom: 12px;
63+
border-bottom: 2px solid #e0e0e0;
64+
padding-bottom: 6px;
65+
color: #333;
66+
}
67+
68+
/* Images */
69+
.teaser img,
70+
section img {
71+
width: 100%;
72+
border-radius: 4px;
73+
margin: 20px 0;
74+
box-shadow: 0 3px 8px rgba(0,0,0,0.1);
75+
}
76+
77+
.wide-img {
78+
display: block;
79+
margin: 0 auto;
80+
max-width: 100%;
81+
height: auto;
82+
}
83+
84+
.wide-video {
85+
display: block;
86+
margin: 0 auto;
87+
max-width: 100%;
88+
height: auto;
89+
}
90+
91+
/* Code / preformatted */
92+
pre {
93+
background-color: #f4f4f4;
94+
border-left: 4px solid #ccc;
95+
padding: 16px;
96+
overflow-x: auto;
97+
font-family: Consolas, monospace;
98+
font-size: 0.95rem;
99+
border-radius: 4px;
100+
}
101+
102+
/* Footer */
103+
footer {
104+
background-color: #fff;
105+
text-align: center;
106+
padding: 20px;
107+
border-top: 1px solid #e0e0e0;
108+
color: #777;
109+
font-size: 0.9rem;
110+
}

0 commit comments

Comments
 (0)