Derek Khu

Orcid: 0009-0000-0293-0664

According to our database¹, Derek Khu authored at least 5 papers between 2024 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Qudit low-density parity-check codes.

[BibT_eX]

[DOI]

Quantum, 2026

2025

Approximate Proportionality in Online Fair Division.

[BibT_eX]

[DOI]

CoRR, August, 2025

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

[BibT_eX]

[DOI]

Arch. Formal Proofs, 2025

Verification of the CVM Algorithm with a Functional Probabilistic Invariant.

[BibT_eX]

[DOI]

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

2024

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Globecom Workshops 2024, 2024

Derek Khu

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...