Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales

Terms and Conditions

Twitter GitHub LinkedIn Bluesky Youtube

© 2026 ResearchTrend.AI, All rights reserved.

Home
Papers
2207.07539
Cited By

3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models

3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models

Machine-mediated learning (ML), 2022

15 July 2022

Leandro Soriano Marcolino

ArXiv (abs)PDF HTML Github

Papers citing "3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models"

5 / 5 papers shown

Reward Certification for Policy Smoothed Reinforcement Learning

Reward Certification for Policy Smoothed Reinforcement Learning

Leandro Soriano Marcolino

298

8

0

11 Dec 2023

Model-Agnostic Reachability Analysis on Deep Neural Networks

Model-Agnostic Reachability Analysis on Deep Neural NetworksPacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD), 2023

221

3

0

03 Apr 2023

Towards Verifying the Geometric Robustness of Large-scale Neural
Networks

Towards Verifying the Geometric Robustness of Large-scale Neural NetworksAAAI Conference on Artificial Intelligence (AAAI), 2023

375

15

0

29 Jan 2023

Reachability Analysis of Neural Network Control Systems

Reachability Analysis of Neural Network Control SystemsAAAI Conference on Artificial Intelligence (AAAI), 2023

375

18

0

28 Jan 2023

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement
Learning

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement LearningAAAI Conference on Artificial Intelligence (AAAI), 2022

Leandro Soriano Marcolino

319

7

0

22 Dec 2022

Page 1 of 1