FESK.COMYour global study desk
Email us
Home › Scholar › Tan Loc Dinh
COMPILEDopen profilenot managed by this scholar
T

Tan Loc Dinh

Researcher Profile 3/10
University of Economics Ho Chi Minh City
3 publications
This is my profile

Information

Featured publications

Verifier-Guided Gap Filling and Repair for LLM-Assisted Isabelle/HOL Proof Planning
· 2026 · DOI
ỨNG DỤNG PHƯƠNG PHÁP EXPLAINABLE ARTIFICIAL INTELLIGENCE (XAI) VÀ CÁC MÔ HÌNH HỌC MÁY TRUYỀN THỐNG XỬ LÍ BÀI TOÁN TIÊU THỤ NĂNG LƯỢNG TÁI TẠO
Tạp chí Khoa học · 2026 · DOI
Implement and Improve The Logic and Automated Reasoning
· 2026 · DOI

Same institution — University of Economics Ho Chi Minh City

D
Duc Nguyen Nguyen
Finance and Banking
K
Kim Phung Thai
Mathematics
M
Minh-Hoang Tran
Mathematics
N
Nhat‐Luong Nhieu
Business Administration
M
Minh-Cong Nguyen
Physics
Q
Quynh Hoa Le
Business Administration
Verify at: Find works on Google Scholar ↗ Search Google ↗
The publication list above is compiled from the open academic database OpenAlex (CC0 licence). Compare with the source record on OpenAlex ↗

Suggest / Claim this profile

  
Profile aggregated from public sources. We respect scholars' rights to edit and remove information — all requests are processed promptly.
Tan Loc DinhUniversity of Economics Ho Chi Minh City
Claim
Original profile stored athocthuat.vn— two pages display the same database, verification syncs everywhere.