Thu 21 May 2026 16:05 - 16:30 at 2F Auditorium - Session 4: LLMs Formal Methods Chair(s): Carlo A. Furia
Thu 21 MayDisplayed time zone: Osaka, Sapporo, Tokyo change
Thu 21 May
Displayed time zone: Osaka, Sapporo, Tokyo change
16:05 - 17:55 | Session 4: LLMs Formal MethodsResearch Track at 2F Auditorium Chair(s): Carlo A. Furia Università della Svizzera italiana (USI) | ||
16:05 25mTalk | Can LLM Aid in Solving Constraints with Inductive Definitions? Research Track Weizhi Feng Institute of Software, Chinese Academy of Sciences, Shidong Shen Institute of Software, Chinese Academy of Sciences, Jiaxiang Liu Institute of Software, Chinese Academy of Sciences, Taolue Chen Birkbeck, University of London, Fu Song Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Nanjing Institute of Software Technology, Zhilin Wu Institute of Software at Chinese Academy of Sciences; University of Chinese Academy of Sciences | ||
16:30 25mTalk | Towards Language Model Guided TLA+ Proof Automation Research Track | ||
16:55 25mResearch paper | Validating Formal Specifications with LLM-generated Test Cases Research Track Pre-print | ||
17:20 25mTalk | ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair Research Track Zhiyong Chen Nanjing University, Jialun Cao Hong Kong University of Science and Technology, Chang Xu Nanjing University, Shing-Chi Cheung Department of Computer Science and Engineering, The HongKong University of Science and Technology, Hong Kong, China | ||