Yuang Geng

Orcid: 0000-0002-2265-7586

According to our database¹, Yuang Geng authored at least 9 papers between 2023 and 2026.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

MLE-UVAD: Minimal Latent Entropy Autoencoder for Fully Unsupervised Video Anomaly Detection.

[BibT_eX]

[DOI]

CoRR, March, 2026

2025

Deterministic World Models for Verification of Closed-loop Vision-based Systems.

[BibT_eX]

[DOI]

CoRR, December, 2025

Statistical-Symbolic Verification of Perception-Based Autonomous Systems using State-Dependent Conformal Prediction.

[BibT_eX]

[DOI]

CoRR, December, 2025

State-Dependent Conformal Perception Bounds for Neuro-Symbolic Verification of Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

Four Principles for Physically Interpretable World Models.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Neuro-symbolic Systems, 2025

Unsupervised Anomaly Detection Improves Imitation Learning for Autonomous Racing.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2025

2024

Zero-shot Safety Prediction for Autonomous Robots with Foundation World Models.

[BibT_eX]

[DOI]

CoRR, 2024

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Bridging Dimensions: Confident Reachability for High-Dimensional Controllers.

[BibT_eX]

[DOI]

Yuang Geng

Souradeep Dutta

Ivan Ruchkin

CoRR, 2023

Yuang Geng

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...