Letian Cui (崔乐天)'s Homepage

Contact​

• Institute: Institute Of Software Chinese Academy of Science (ISCAS)
• Apartment: State Key Lab. of Computer Science (SKLCS)
• email: letiancui###outlook**com

About me​

• I am currently an intern in the group.
• 2021-present: Undergraduate Student in Computer Science and Technology, School of Computer Science, Nanjing University.

Research interests​

• LLM methods for Computer Aided Verification
• Boosting LLM with Formal Verification
• Automatic Program Repair and Synthesis