5 citations · 6 across the 2 of their papers we have counts for
2 papers
cs.LG2026★ 1 cited
VNN-LIB 2.0: Rigorous Foundations for Neural Network Verification
Ann Roy, Allen Antony, Andrea Gimelli +1
Neural network verification is an active and rapidly maturing research area, with a growing ecosystem of solvers and tools. The VNN-LIB standard was introduced to support interoper…
cs.CV2022★ 5 cited
Active-Passive SimStereo -- Benchmarking the Cross-Generalization Capabilities of Deep Learning-based Stereo Methods
Laurent Jospin, Allen Antony, Lian Xu +3
In stereo vision, self-similar or bland regions can make it difficult to match patches between two images. Active stereo-based methods mitigate this problem by projecting a pseudo-…