Chanhee Cho

Orcid: 0009-0009-6620-9070

According to our database¹, Chanhee Cho authored at least 9 papers between 2023 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

Diagnosing the Reliability of LLM-as-a-Judge via Item Response Theory.

[BibT_eX]

[DOI]

CoRR, February, 2026

SPAM: Style Prompt Adherence Metric for Prompt-based TTS.

[BibT_eX]

[DOI]

Chanhee Cho

Nayeon Kim

Bugeun Kim

CoRR, January, 2026

A 0.6-0.8 GHz CMOS Frequency-Tunable Nonmagnetic Circulator With Digital Predistortion-Based Linearity Enhancement for in-Band Full-Duplex Radios.

[BibT_eX]

[DOI]

IEEE Access, 2026

2025

Acoustic-based Gender Differentiation in Speech-aware Language Models.

[BibT_eX]

[DOI]

CoRR, September, 2025

2024

Crabtree: Rust API Test Synthesis Guided by Coverage and Type.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2024

Verus: A Practical Foundation for Systems Verification.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles, 2024

A Framework for Debugging Automated Program Verification Proofs via Proof Actions.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Verus: Verifying Rust Programs using Linear Ghost Types.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., April, 2023

Verus: Verifying Rust Programs using Linear Ghost Types (extended version).

[BibT_eX]

[DOI]

CoRR, 2023

Chanhee Cho

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...