Internetware 2024
Wed 24 - Fri 26 July 2024
Macau, China
Toggle navigation
Attending
Venue: Wynn Palace
Travel Grant Application: 1st Round
Travel Grant Application: 2nd Round
Registration and Travel Information
Visa & Invitation Letter
Program
Internetware Program
Your Program
Wed 24 Jul
Thu 25 Jul
Fri 26 Jul
Tracks
Internetware 2024
Research Track
New Idea Track
Tool Demonstration Track
Organization
Internetware 2024 Committees
Steering Committee
Organizing Committee
Track Committees
Research Track
New Idea Track
Tool Demonstration Track
Contributors
People Index
Search
Series
Series
Internetware 2024
Internetware 2023
Sign in
Sign up
Internetware 2024
(
series
) /
Xingpeng Liu
Internetware 2024 profile
conf.research.org general profile
Registered user since Sun 23 Jun 2024
Name:
Xingpeng Liu
Contributions
2024
Internetware
LLM-Enhanced Theorem Proving with Term Explanation and Tactic Parameter Repair
Show activities from other conferences
Share
Internetware 2024-profile
View general profile
x
Thu 21 Nov 11:11