• Sign in
  • Sign up
conf.researchr.org / Xuan Liu
  • FSE 2026 profile

Registered user since Thu 4 Sep 2025

Name:Xuan Liu

Contributions

2026

AIware

  • Author of VeriTrans: Fine-Tuned LLM-Assisted NL→PL Translation via a Deterministic Neuro-symbolic Pipeline within the Main Track-track
Share
xWed 28 Oct 03:13
using conf.researchr.org (v1.76.1)
Support page
Sign Up