• 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
xSun 7 Jun 09:48
using conf.researchr.org (v1.73.2)
Support page
Sign Up