Kun Yuan

Principal Researcher, R&D Department, TRANTOR LABS
Joined
February 2026

Names

Kun Yuan (Preferred)

Emails

****@trantorlabs.sg (Confirmed)

Personal Links

Career & Education History

Principal Researcher
R&D Department, TRANTOR LABS (trantorlabs.sg)
2023 – 2026

Advisors, Relations & Conflicts

No relations added

Expertise

Neuro-Symbolic AI
, 
Constrained Decoding
, 
Hard Logit Masking
, 
Structured Generation
2023 – 2026
Formal Logic
, 
Dynamic Epistemic Logic
, 
Model Theory
, 
Automated Reasoning
2023 – 2026
Philosophy of AI
, 
Epistemology
, 
Philosophy of Science
, 
Philosophy of Logic
, 
Foundational Problems in ML
2023 – 2026

Publications

Co-Authors

No co-authors