Anne M. Tumlin

According to our database, Anne M. Tumlin authored at least 7 papers between 2021 and 2025.

Collaborative distances:

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

2025

Amplifying Your Social Media Presence: Personalized Influential Content Generation with LLMs.

Yuying Zhao, Yu Wang, Xueqi Cheng, Anne M. Tumlin, Yunchao Liu, Damin Xia, Meng Jiang, Tyler Derr

CoRR, May, 2025

BehaVerify Artifact for FMCAD 2025.

Serena Serafina Serbinowska, Diego Manzanas Lopez, Anne M. Tumlin, Taylor Thomas Johnson

Dataset, May, 2025

BehaVerify Artifact for FMCAD 2025.

Serena Serafina Serbinowska, Diego Manzanas Lopez, Anne M. Tumlin, Taylor Thomas Johnson

Dataset, May, 2025

2024

Verification of Behavior Trees with Contingency Monitors.

Serena Serafina Serbinowska, Nicholas Potteiger, Anne M. Tumlin, Taylor T. Johnson

Proceedings of the Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, 2024

FairNNV: The Neural Network Verification Tool For Certifying Fairness.

Anne M. Tumlin, Diego Manzanas Lopez, Preston Robinette, Yuying Zhao, Tyler Derr, Taylor T. Johnson

Proceedings of the 5th ACM International Conference on AI in Finance, 2024

2021

Toxic Comment Detection: Analyzing the Combination of Text and Emojis.

Michael Aquino, Yasiris Ortiz, Arif Rashid, Anne M. Tumlin, N. Sertac Artan, Ziqian Dong, Huanying Gu

Proceedings of the IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems, 2021

A Visibility Roadmap Sampling Approach for a Multi-Robot Visibility-Based Pursuit-Evasion Problem.

Trevor Olsen, Anne M. Tumlin, Nicholas M. Stiffler, Jason M. O'Kane

Proceedings of the IEEE International Conference on Robotics and Automation, 2021