Login / Signup
Huajian Xin
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 11
Top Topics
Theorem Proving
Proof Planning
Automated Deduction
Natural Language Processing
Top Venues
CoRR
ICLR
Int. J. Web Based Learn. Teach. Technol.
Trans. Mach. Learn. Res.
</>
Publications
</>