HyoJung Han

According to our database, HyoJung Han authored at least 8 papers between 2005 and 2024.

Collaborative distances:

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

2024

XLAVS-R: Cross-Lingual Audio-Visual Speech Representation Learning for Noise-Robust Speech Perception.

HyoJung Han, Mohamed Anwar, Juan Pino, Wei-Ning Hsu, Marine Carpuat, Bowen Shi, Changhan Wang

CoRR, 2024

2023

Bridging Background Knowledge Gaps in Translation with Automatic Explicitation.

HyoJung Han, Jordan L. Boyd-Graber, Marine Carpuat

Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023

2022

SimQA: Detecting Simultaneous MT Errors through Word-by-Word Question Answering.

HyoJung Han, Marine Carpuat, Jordan L. Boyd-Graber

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

2011

Clause simplification through dominator analysis.

HyoJung Han, HoonSang Jin, Fabio Somenzi

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Making Deduction More Effective in SAT Solvers.

HyoJung Han, Fabio Somenzi, HoonSang Jin

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2010

2009

On-the-Fly Clause Improvement.

HyoJung Han, Fabio Somenzi

Proceedings of the Theory and Applications of Satisfiability Testing, 2009

2007

Alembic: An Efficient Algorithm for CNF Preprocessing.

HyoJung Han, Fabio Somenzi

Proceedings of the 44th Design Automation Conference, 2007

2005

Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.

HoonSang Jin, HyoJung Han, Fabio Somenzi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005