Teruhiro Tagomori

According to our database, Teruhiro Tagomori authored at least 2 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks.

Haoze Wu, Omri Isac, Aleksandar Zeljic, Teruhiro Tagomori, Matthew L. Daggitt, Wen Kokke, Idan Refaeli, Guy Amir, Kyle Julian, Shahaf Bassan, Pei Huang, Ori Lahav, Min Wu, Min Zhang, Ekaterina Komendantskaya, Guy Katz, Clark W. Barrett

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Toward Certified Robustness Against Real-World Distribution Shifts.

Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the 2023 IEEE Conference on Secure and Trustworthy Machine Learning, 2023