{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T04:56:38Z","timestamp":1778302598012,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["RS-2024-00338454"],"award-info":[{"award-number":["RS-2024-00338454"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["RS-2021-NR060080"],"award-info":[{"award-number":["RS-2021-NR060080"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["RS-2025-00522352"],"award-info":[{"award-number":["RS-2025-00522352"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003725","name":"National Research Foundation of Korea","doi-asserted-by":"publisher","award":["RS-2024-00347516"],"award-info":[{"award-number":["RS-2024-00347516"]}],"id":[{"id":"10.13039\/501100003725","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation","award":["RS-2019-II190421"],"award-info":[{"award-number":["RS-2019-II190421"]}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation","award":["RS-2022-II221045"],"award-info":[{"award-number":["RS-2022-II221045"]}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation","award":["RS-2025-25442569"],"award-info":[{"award-number":["RS-2025-25442569"]}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation","award":["RS-2025-02305705"],"award-info":[{"award-number":["RS-2025-02305705"]}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation","award":["RS-2020-II201819"],"award-info":[{"award-number":["RS-2020-II201819"]}]},{"name":"Institute of Information & Communications Technology Planning & Evaluation","award":["RS-2023-00232728"],"award-info":[{"award-number":["RS-2023-00232728"]}]},{"name":"K-Startup","award":["20144069"],"award-info":[{"award-number":["20144069"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,11,3]]},"DOI":"10.1145\/3680207.3765248","type":"proceedings-article","created":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T13:19:18Z","timestamp":1763731158000},"page":"817-831","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-9235-5900","authenticated-orcid":false,"given":"Jungjae","family":"Lee","sequence":"first","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-0073-5184","authenticated-orcid":false,"given":"Dongjae","family":"Lee","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8806-6876","authenticated-orcid":false,"given":"Chihun","family":"Choi","sequence":"additional","affiliation":[{"name":"Korea University, Seoul, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-8652-0529","authenticated-orcid":false,"given":"Youngmin","family":"Im","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0005-7382-9041","authenticated-orcid":false,"given":"Jaeyoung","family":"Wi","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2671-0142","authenticated-orcid":false,"given":"Kihong","family":"Heo","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2294-6572","authenticated-orcid":false,"given":"Sangeun","family":"Oh","sequence":"additional","affiliation":[{"name":"Korea University, Seoul, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2755-5511","authenticated-orcid":false,"given":"Sunjae","family":"Lee","sequence":"additional","affiliation":[{"name":"Sungkyunkwan University, Suwon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9128-2415","authenticated-orcid":false,"given":"Insik","family":"Shin","sequence":"additional","affiliation":[{"name":"KAIST, Daejeon, Republic of Korea"},{"name":"Fluiz, Daejeon, Republic of Korea"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,11,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Creating safe agi that benefits all of humanity","year":"2023","unstructured":"openai. Creating safe agi that benefits all of humanity, 2023. URL https:\/\/openai.com\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Talk to claude","year":"2023","unstructured":"anthropic. Talk to claude, 2023. URL https:\/\/claude.ai\/."},{"key":"e_1_3_2_1_3_1","volume-title":"Introducing llama 2","year":"2023","unstructured":"meta. Introducing llama 2, 2023. URL https:\/\/ai.meta.com\/llama\/."},{"key":"e_1_3_2_1_4_1","volume-title":"Shiqi Jiang, Yunhao Liu, Yaqin Zhang, and Yunxin Liu. Empowering llm to use smartphone for intelligent task automation. arXiv preprint arXiv:2308.15272","author":"Wen Hao","year":"2023","unstructured":"Hao Wen, Yuanchun Li, Guohong Liu, Shanhui Zhao, Tao Yu, Toby Jia-Jun Li, Shiqi Jiang, Yunhao Liu, Yaqin Zhang, and Yunxin Liu. Empowering llm to use smartphone for intelligent task automation. arXiv preprint arXiv:2308.15272, 2023."},{"key":"e_1_3_2_1_5_1","volume-title":"Autodroid-v2: Boosting slm-based gui agents via code generation","author":"Wen Hao","year":"2024","unstructured":"Hao Wen, Shizuo Tian, Borislav Pavlov, Wenjie Du, Yixuan Li, Ge Chang, Shanhui Zhao, Jiacheng Liu, Yunxin Liu, Ya-Qin Zhang, and Yuanchun Li. Autodroid-v2: Boosting slm-based gui agents via code generation, 2024. URL https:\/\/arxiv.org\/abs\/2412.18116."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3636534.3690682"},{"key":"e_1_3_2_1_7_1","volume-title":"Appagent: Multimodal agents as smart-phone users","author":"Zhang Chi","year":"2023","unstructured":"Chi Zhang, Zhao Yang, Jiaxuan Liu, Yucheng Han, Xin Chen, Zebiao Huang, Bin Fu, and Gang Yu. Appagent: Multimodal agents as smart-phone users, 2023. URL https:\/\/arxiv.org\/abs\/2312.13771."},{"key":"e_1_3_2_1_8_1","volume-title":"Mobile-agent-v2: Mobile device operation assistant with effective navigation via multi-agent collaboration","author":"Wang Junyang","year":"2024","unstructured":"Junyang Wang, Haiyang Xu, Haitao Jia, Xi Zhang, Ming Yan, Weizhou Shen, Ji Zhang, Fei Huang, and Jitao Sang. Mobile-agent-v2: Mobile device operation assistant with effective navigation via multi-agent collaboration, 2024. URL https:\/\/arxiv.org\/abs\/2406.01014."},{"key":"e_1_3_2_1_9_1","volume-title":"Introducing operator","year":"2025","unstructured":"openai. Introducing operator, 2025. URL https:\/\/openai.com\/index\/introducing-operator\/."},{"key":"e_1_3_2_1_10_1","volume-title":"Computer use (beta)","year":"2025","unstructured":"anthropic. Computer use (beta), 2025. URL https:\/\/docs.anthropic.com\/en\/docs\/agents-and-tools\/computer-use."},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 41st International Conference on Machine Learning, ICML'24. JMLR.org","author":"Zheng Boyuan","year":"2024","unstructured":"Boyuan Zheng, Boyu Gou, Jihyung Kil, Huan Sun, and Yu Su. Gpt-4v(ision) is a generalist web agent, if grounded. In Proceedings of the 41st International Conference on Machine Learning, ICML'24. JMLR.org, 2024."},{"key":"e_1_3_2_1_12_1","volume-title":"Androidworld: A dynamic benchmarking environment for autonomous agents","author":"Rawles Christopher","year":"2024","unstructured":"Christopher Rawles, Sarah Clinckemaillie, Yifan Chang, Jonathan Waltz, Gabrielle Lau, Marybeth Fair, Alice Li, William Bishop, Wei Li, Folawiyo Campbell-Ajala, Daniel Toyama, Robert Berry, Divya Tyamagundlu, Timothy Lillicrap, and Oriana Riva. Androidworld: A dynamic benchmarking environment for autonomous agents, 2024. URL https:\/\/arxiv.org\/abs\/2405.14573."},{"key":"e_1_3_2_1_13_1","volume-title":"Cogagent: A visual language model for gui agents","author":"Hong Wenyi","year":"2024","unstructured":"Wenyi Hong, Weihan Wang, Qingsong Lv, Jiazheng Xu, Wenmeng Yu, Junhui Ji, Yan Wang, Zihan Wang, Yuxuan Zhang, Juanzi Li, Bin Xu, Yuxiao Dong, Ming Ding, and Jie Tang. Cogagent: A visual language model for gui agents, 2024. URL https:\/\/arxiv.org\/abs\/2312.08914."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3637528.3671650"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology","author":"Zhang Li","year":"2024","unstructured":"Li Zhang, Shihe Wang, Xianqing Jia, Zhihan Zheng, Yunhe Yan, Longxi Gao, Yuanchun Li, and Mengwei Xu. Llamatouch: A faithful and scalable testbed for mobile ui task automation. In Proceedings of the 37th Annual ACM Symposium on User Interface Software and Technology, New York, NY, USA, 2024."},{"key":"e_1_3_2_1_16_1","volume-title":"Appagent v2: Advanced agent for flexible mobile interactions","author":"Li Yanda","year":"2024","unstructured":"Yanda Li, Chi Zhang, Wanqi Yang, Bin Fu, Pei Cheng, Xin Chen, Ling Chen, and Yunchao Wei. Appagent v2: Advanced agent for flexible mobile interactions, 2024. URL https:\/\/arxiv.org\/abs\/2408.11824."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 36th International Conference on Neural Information Processing Systems","author":"Wu Yuhuai","year":"2022","unstructured":"Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, and Christian Szegedy. Autoformalization with large language models. In Sanmi Koyejo, S. Mohamed, A. Agarwal, Danielle Belgrave, K. Cho, and A. Oh, editors, Proceedings of the 36th International Conference on Neural Information Processing Systems, 2022."},{"key":"e_1_3_2_1_18_1","series-title":"Proceedings of Machine Learning Research","first-page":"1110","volume-title":"Conference on Robot Learning, CoRL","author":"Liu Jason Xinyu","year":"2023","unstructured":"Jason Xinyu Liu, Ziyi Yang, Ifrah Idrees, Sam Liang, Benjamin Schornstein, Stefanie Tellex, and Ankit Shah. Grounding complex natural language commands for temporal tasks in unseen environments. In Conference on Robot Learning, CoRL 2023, 6\u20139 November 2023, Atlanta, GA, USA, volume 229 of Proceedings of Machine Learning Research, pages 1084\u20131110. PMLR, 2023."},{"key":"e_1_3_2_1_19_1","first-page":"14442","volume-title":"IEEE International Conference on Robotics and Automation, ICRA 2024","author":"Yang Ziyi","year":"2024","unstructured":"Ziyi Yang, Shreyas Sundara Raman, Ankit Shah, and Stefanie Tellex. Plug in the safety chip: Enforcing constraints for llm-driven robot agents. In IEEE International Conference on Robotics and Automation, ICRA 2024, Yokohama, Japan, May 13\u201317, 2024, pages 14435\u201314442. IEEE, 2024."},{"key":"e_1_3_2_1_20_1","volume-title":"SELP: generating safe and efficient task plans for robot agents with large language models. CoRR abs\/2409.19471","author":"Wu Yi","year":"2024","unstructured":"Yi Wu, Zikang Xiong, Yiran Hu, Shreyash S. Iyengar, Nan Jiang, Aniket Bera, Lin Tan, and Suresh Jagannathan. SELP: generating safe and efficient task plans for robot agents with large language models. CoRR abs\/2409.19471, 2024."},{"key":"e_1_3_2_1_21_1","unstructured":"Ike Obi Vishnunandan LN Venkatesh Weizheng Wang Ruiqi Wang Dayoon Suh Temitope I Amosa Wonse Jo and Byung-Cheol Min. Safeplan: Leveraging formal logic and chain-of-thought reasoning for enhanced safety in llm-based robotic task planning. arXiv preprint arXiv:2503.06892 2025."},{"key":"e_1_3_2_1_22_1","volume-title":"Llm-powered gui agents in phone automation: Surveying progress and prospects","author":"Liu William","year":"2025","unstructured":"William Liu, Liang Liu, Yaxuan Guo, Han Xiao, Weifeng Lin, Yuxiang Chai, Shuai Ren, Xiaoyu Liang, Linghao Li, Wenhao Wang, et al. Llm-powered gui agents in phone automation: Surveying progress and prospects. 2025."},{"key":"e_1_3_2_1_23_1","volume-title":"Large language model-brained gui agents: A survey","author":"Zhang Chaoyun","year":"2025","unstructured":"Chaoyun Zhang, Shilin He, Jiaxu Qian, Bowen Li, Liqun Li, Si Qin, Yu Kang, Minghua Ma, Guyue Liu, Qingwei Lin, Saravan Rajmohan, Dongmei Zhang, and Qi Zhang. Large language model-brained gui agents: A survey, 2025. URL https:\/\/arxiv.org\/abs\/2411.18279."},{"key":"e_1_3_2_1_24_1","volume-title":"Gui agents with foundation models: A comprehensive survey","author":"Wang Shuai","year":"2025","unstructured":"Shuai Wang, Weiwen Liu, Jingxuan Chen, Yuqi Zhou, Weinan Gan, Xingshan Zeng, Yuhan Che, Shuai Yu, Xinlong Hao, Kun Shao, Bin Wang, Chuhan Wu, Yasheng Wang, Ruiming Tang, and Jianye Hao. Gui agents with foundation models: A comprehensive survey, 2025. URL https:\/\/arxiv.org\/abs\/2411.04890."},{"key":"e_1_3_2_1_25_1","volume-title":"Personal llm agents: Insights and survey about the capability, efficiency and security","author":"Li Yuanchun","year":"2024","unstructured":"Yuanchun Li, Hao Wen, Weijun Wang, Xiangyu Li, Yizhen Yuan, Guohong Liu, Jiacheng Liu, Wenxing Xu, Xiang Wang, Yi Sun, Rui Kong, Yile Wang, Hanfei Geng, Jian Luan, Xuefeng Jin, Zilong Ye, Guanjing Xiong, Fan Zhang, Xiang Li, Mengwei Xu, Zhijun Li, Peng Li, Yang Liu, Ya-Qin Zhang, and Yunxin Liu. Personal llm agents: Insights and survey about the capability, efficiency and security, 2024. URL https:\/\/arxiv.org\/abs\/2401.05459."},{"key":"e_1_3_2_1_26_1","volume-title":"Large multimodal agents: A survey","author":"Xie Junlin","year":"2024","unstructured":"Junlin Xie, Zhihong Chen, Ruifei Zhang, Xiang Wan, and Guanbin Li. Large multimodal agents: A survey, 2024. URL https:\/\/arxiv.org\/abs\/2402.15116."},{"key":"e_1_3_2_1_27_1","volume-title":"Systems and Software Verification: Model-Checking Techniques and Tools","author":"Berard B.","year":"2014","unstructured":"B. Berard, P. McKenzie, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen. Systems and Software Verification: Model-Checking Techniques and Tools. Springer Berlin Heidelberg, 2014. ISBN 9783662045596."},{"key":"e_1_3_2_1_28_1","volume-title":"Principles of Model Checking","author":"Baier Christel","year":"2008","unstructured":"Christel Baier and Joost-Pieter Katoen. Principles of Model Checking. The MIT Press, 2008. ISBN 026202649X."},{"key":"e_1_3_2_1_29_1","volume-title":"Model checking","author":"Clarke Edmund M.","year":"2018","unstructured":"Edmund M. Clarke, Orna Grumberg, Daniel Kroening, Doron A. Peled, and Helmut Veith. Model checking, 2nd Edition. MIT Press, 2018.","edition":"2"},{"key":"e_1_3_2_1_30_1","volume-title":"A static analyzer for large safety-critical software. CoRR, abs\/cs\/0701193","author":"Blanchet Bruno","year":"2007","unstructured":"Bruno Blanchet, Patrick Cousot, Radhia Cousot, J\u00e9r\u00f4me Feret, Laurent Mauborgne, Antoine Min\u00e9, David Monniaux, and Xavier Rival. A static analyzer for large safety-critical software. CoRR, abs\/cs\/0701193, 2007."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03809-3","volume-title":"Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems","author":"Kropf Thomas","year":"1999","unstructured":"Thomas Kropf. Introduction to Formal Hardware Verification: Methods and Tools for Designing Correct Circuits and Systems. Springer-Verlag, 1st edition, 1999. ISBN 3540654453.","edition":"1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3048047"},{"key":"e_1_3_2_1_33_1","first-page":"630","volume-title":"Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Bohrer Rose","year":"2018","unstructured":"Rose Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, and Andr\u00e9 Platzer. Veriphy: verified controller executables from verified cyber-physical system models. In Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, page 617\u2013630, 2018."},{"key":"e_1_3_2_1_34_1","volume-title":"Formal Methods in System Design","author":"Mitsch Stefan","year":"2016","unstructured":"Stefan Mitsch and Andr\u00e9 Platzer. Modelplex: Verified runtime validation of verified cyber-physical system models. Formal Methods in System Design, 2016."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2161638"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-319-75632-5","volume-title":"Lectures on Runtime Verification: Introductory and Advanced Topics","author":"Bartocci Ezio","year":"2018","unstructured":"Ezio Bartocci, Yli\u00e8s Falcone, Adrian Francalanza, and Giles Reger. Introduction to runtime verification. Lectures on Runtime Verification: Introductory and Advanced Topics, pages 1\u201333, 2018."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_38_1","volume-title":"State","year":"2025","unstructured":"Meta. State, 2025. URL https:\/\/reactnative.dev\/docs\/state."},{"key":"e_1_3_2_1_39_1","volume-title":"State and jetpack compose","year":"2025","unstructured":"Google. State and jetpack compose, 2025. URL https:\/\/developer.android.com\/develop\/ui\/compose\/state."},{"key":"e_1_3_2_1_40_1","volume-title":"State","year":"2025","unstructured":"Apple. State, 2025. URL https:\/\/developer.apple.com\/documentation\/swiftui\/state."},{"key":"e_1_3_2_1_41_1","volume-title":"Foundations of Databases: The Logical Level","author":"Abiteboul Serge","year":"1995","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc., USA, 1st edition, 1995. ISBN 0201537710.","edition":"1"},{"key":"e_1_3_2_1_42_1","volume-title":"The art of Prolog","author":"Sterling Leon","year":"1994","unstructured":"Leon Sterling and Ehud Shapiro. The art of Prolog (2nd ed.): advanced programming techniques. MIT Press, Cambridge, MA, USA, 1994. ISBN 0262193388.","edition":"2"},{"key":"e_1_3_2_1_43_1","volume-title":"Computer Aided Verification","author":"Kahsai Temesghen","year":"2016","unstructured":"Temesghen Kahsai, Philipp R\u00fcmmer, Huascar Sanchez, and Martin Sch\u00e4f. Jayhorn: A framework for verifying java programs. In Computer Aided Verification. Springer International Publishing, 2016."},{"key":"e_1_3_2_1_44_1","first-page":"361","volume-title":"Computer Aided Verification","author":"Gurfinkel Arie","unstructured":"Arie Gurfinkel, Temesghen Kahsai, Anvesh Komuravelli, and Jorge A. Navas. The seahorn verification framework. In Computer Aided Verification, pages 343\u2013361. Springer International Publishing, 2015."},{"issue":"4","key":"e_1_3_2_1_45_1","article-title":"Chc-based verification for rust programs","volume":"43","author":"Matsushita Yusuke","year":"2021","unstructured":"Yusuke Matsushita, Takeshi Tsukada, and Naoki Kobayashi. Rusthorn: Chc-based verification for rust programs. ACM Trans. Program. Lang. Syst., 43(4), 2021.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"e_1_3_2_1_46_1","volume-title":"Springer International Publishing","author":"Bj\u00f8rner Nikolaj","year":"2015","unstructured":"Nikolaj Bj\u00f8rner, Arie Gurfinkel, Ken McMillan, and Andrey Rybalchenko. Horn Clause Solvers for Program Verification, pages 24\u201351. Springer International Publishing, 2015."},{"key":"e_1_3_2_1_47_1","volume-title":"Chain-of-verification reduces hallucination in large language models","author":"Dhuliawala Shehzaad","year":"2023","unstructured":"Shehzaad Dhuliawala, Mojtaba Komeili, Jing Xu, Roberta Raileanu, Xian Li, Asli Celikyilmaz, and Jason Weston. Chain-of-verification reduces hallucination in large language models, 2023. URL https:\/\/arxiv.org\/abs\/2309.11495."},{"key":"e_1_3_2_1_48_1","volume-title":"Ever: Mitigating hallucination in large language models through real-time verification and rectification","author":"Kang Haoqiang","year":"2023","unstructured":"Haoqiang Kang, Juntong Ni, and Huaxiu Yao. Ever: Mitigating hallucination in large language models through real-time verification and rectification, 2023. URL https:\/\/arxiv.org\/abs\/2311.09114."},{"key":"e_1_3_2_1_49_1","volume-title":"et al. Self-refine: Iterative refinement with self-feedback","author":"Madaan Aman","year":"2023","unstructured":"Aman Madaan, Niket Tandon, Prakhar Gupta, et al. Self-refine: Iterative refinement with self-feedback, 2023. URL https:\/\/arxiv.org\/abs\/2303.17651."},{"key":"e_1_3_2_1_50_1","volume-title":"Mitigating Hallucinations in Large Language Models via Self-Refinement-Enhanced Knowledge Retrieval","author":"Niu Mengjia","year":"2024","unstructured":"Mengjia Niu, Hao Li, Jie Shi, Hamed Haddadi, and Fan Mo. Mitigating Hallucinations in Large Language Models via Self-Refinement-Enhanced Knowledge Retrieval, 2024. URL https:\/\/arxiv.org\/abs\/2405.06545."},{"key":"e_1_3_2_1_51_1","volume-title":"Mohit Iyyer, Luke Zettlemoyer, and Hannaneh Hajishirzi. FactScore: Fine-grained atomic evaluation of factual precision in long form text generation","author":"Min Sewon","year":"2023","unstructured":"Sewon Min, Kalpesh Krishna, Ximing Lyu, Mike Lewis, Wen-tau Yih, Pang Wei Koh, Mohit Iyyer, Luke Zettlemoyer, and Hannaneh Hajishirzi. FactScore: Fine-grained atomic evaluation of factual precision in long form text generation, 2023."},{"key":"e_1_3_2_1_52_1","volume-title":"Fac-Tool: Factuality detection in generative AI-A tool augmented framework for multi-task and multi-domain scenarios","author":"Chern Ian","year":"2023","unstructured":"Ian Chern, Shiyang Chern, Shushan Chen, Weizhi Yuan, Kai Feng, Chunting Zhou, Junxian He, Graham Neubig, Pengfei Liu, et al. Fac-Tool: Factuality detection in generative AI-A tool augmented framework for multi-task and multi-domain scenarios, 2023."},{"key":"e_1_3_2_1_53_1","volume-title":"Huan Zhu, Dong Zhang, Kathy McKeown, and Bing Xiang. Entity-level factual consistency of abstractive text summarization","author":"Nan Feng","year":"2021","unstructured":"Feng Nan, Ramesh Nallapati, Zhiling Wang, Cicero Nogueira dos Santos, Huan Zhu, Dong Zhang, Kathy McKeown, and Bing Xiang. Entity-level factual consistency of abstractive text summarization, 2021."},{"key":"e_1_3_2_1_54_1","first-page":"175","volume-title":"Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining","author":"Goodrich Ben","year":"2019","unstructured":"Ben Goodrich, Vrindavan Rao, Peter J. Liu, and Mina Saleh. Assessing the factual accuracy of generated text. In Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, pages 166\u2013175, 2019."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.findings-emnlp.320"},{"key":"e_1_3_2_1_56_1","first-page":"16430","volume-title":"Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI","author":"Fuggitti Francesco","unstructured":"Francesco Fuggitti and Tathagata Chakraborti. NL2LTL - a python package for converting natural language (NL) instructions to linear temporal logic (LTL) formulas. In Brian Williams, Yiling Chen, and Jennifer Neville, editors, Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI, pages 16428\u201316430. AAAI Press, 2023."},{"key":"e_1_3_2_1_57_1","series-title":"Lecture Notes in Computer Science","first-page":"396","volume-title":"Computer Aided Verification - 35th International Conference, CAV","author":"Cosler Matthias","year":"2023","unstructured":"Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, and Caroline Trippel. nl2spec: Interactively translating unstructured natural language to temporal logics with large language models. In Constantin Enea and Akash Lal, editors, Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17\u201322, 2023, Proceedings, Part II, volume 13965 of Lecture Notes in Computer Science, pages 383\u2013396. Springer, 2023."}],"event":{"name":"ACM MOBICOM '25: 31st Annual International Conference on Mobile Computing and Networking","location":"Kerry Hotel, Hong Kong Hong Kong China","acronym":"ACM MOBICOM '25","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing"]},"container-title":["Proceedings of the 31st Annual International Conference on Mobile Computing and Networking"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3680207.3765248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T13:28:12Z","timestamp":1763731692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3680207.3765248"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,3]]},"references-count":57,"alternative-id":["10.1145\/3680207.3765248","10.1145\/3680207"],"URL":"https:\/\/doi.org\/10.1145\/3680207.3765248","relation":{},"subject":[],"published":{"date-parts":[[2025,11,3]]},"assertion":[{"value":"2025-11-21","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}