Scholar
Luke Ong
Google Scholar ID: gNFel3QAAAAJ
Distinguished University Professor, Nanyang Technological University
Bayesian Statistical Probabilistic Programming
Semantics of Computation
Automated Verification
Programming Languages
Logic a
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
6,435
H-index
36
i10-index
96
Publications
20
Co-authors
34
list available
Publications
8 items
FaithformBench: Benchmarking Faithfulness of Mathematical Chain-of-Thought Autoformalisation
2026
Cited
0
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
2026
Cited
0
When More Experts Hurt: Underfitting in Multi-Expert Learning to Defer
2026
Cited
0
Reinforcement Learning with $ω$-Regular Objectives and Constraints
2025
Cited
0
Conformal Prediction Meets Long-tail Classification
2025
Cited
0
The Singapore Consensus on Global AI Safety Research Priorities
2025
Cited
0
Open Problems in Machine Unlearning for AI Safety
2025
Cited
0
Towards Interpreting Visual Information Processing in Vision-Language Models
arXiv.org · 2024
Cited
6
Co-authors
10 total
Matthew Hague
Royal Holloway, University of London
Takeshi Tsukada
Chiba University
Jonathan Kochems
University of Oxford
Emanuele D'Osualdo
University of Konstanz
Fabian Zaiser
Research Scientist, MIT
Naoki Kobayashi
The University of Tokyo
Arnaud Carayol
CNRS & Université Paris Est
William Blum
Microsoft
