Derek Khu

According to our database, Derek Khu authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Approximate Proportionality in Online Fair Division.

Davin Choo, Winston Fu, Derek Khu, Tzeh Yuan Neoh, Tze-Yang Poon, Nicholas Teh

CoRR, August, 2025

Verification of the CVM algorithm with a New Recursive Analysis Technique.

Emin Karayel, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan, Seng Joe Watt

Arch. Formal Proofs, 2025

Verification of the CVM Algorithm with a Functional Probabilistic Invariant.

Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

2024

Specializing Language Models for 3GPP Standards: Enhancements for Technical Document Queries.

Gary C. F. Lee, Derek Khu, Feri Guretno, Ernest Kurniawan

Proceedings of the IEEE Globecom Workshops 2024, 2024