Ji Wang - Internetware 2024

Wed 24 - Fri 26 July 2024 Macau, China

Registered user since Fri 2 Feb 2024

Name:Ji Wang

Affiliation:School of Computer, National University of Defense Technology, China

Contributions

2024

Internetware

LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair

Show activities from other conferences

Internetware 2024-profile
View general profile