Minwoo Kang

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026
Speculative Interaction Agents: Building Real-Time Agents with Asynchronous I/O and Speculative Tool Calling.
CoRR, May, 2026

Quantifying the Utility of User Simulators for Building Collaborative LLM Assistants.
CoRR, May, 2026

On the Decompositionality of Neural Networks.
CoRR, April, 2026

Identity, Cooperation and Framing Effects within Groups of Real and Simulated Humans.
CoRR, January, 2026

Vertical auto-scaling mechanism for elastic memory management of containerized applications in Kubernetes.
Future Gener. Comput. Syst., 2026

Automatic Fault Tolerance Management based on Task Criticality for Real-Time Systems.
Proceedings of the 41st ACM/SIGAPP Symposium on Applied Computing, 2026

2025
Higher-Order Binding of Language Model Virtual Personas: a Study on Approximating Political Partisan Misperceptions.
CoRR, April, 2025

Hard-Negative Prototype-Based Regularization for Few-Shot Class-Incremental Learning.
Trans. Mach. Learn. Res., 2025

Puzzled by Puzzles: When Vision-Language Models Can't Take a Hint.
Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware.
Proceedings of the Design, Automation & Test in Europe Conference, 2025

High-Throughput SAT Sampling.
Proceedings of the Design, Automation & Test in Europe Conference, 2025

DEMOTIC: A Differentiable Sampler for Multi-Level Digital Circuits.
Proceedings of the 30th Asia and South Pacific Design Automation Conference, 2025

Language Model Fine-Tuning on Scaled Survey Data for Predicting Distributions of Public Opinions.
Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024
Rediscovering the Latent Dimensions of Personality with Large Language Models as Trait Descriptors.
CoRR, 2024

Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification.
Proceedings of the 42nd IEEE VLSI Test Symposium, 2024

Virtual Personas for Language Models via an Anthology of Backstories.
Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

Late Breaking Results: Differential and Massively Parallel Sampling of SAT Formulas.
Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

Dataset Generation for Korean Urban Parks Analysis with Large Language Models.
Proceedings of the 33rd ACM International Conference on Information and Knowledge Management, 2024

2023
Full Stack Optimization of Transformer Inference: a Survey.
CoRR, 2023

LFPS: Learned Formal Proof Strengthening for Efficient Hardware Verification.
Proceedings of the IEEE/ACM International Conference on Computer Aided Design, 2023

Narrowing the Synthesis Gap: Academic FPGA Synthesis is Catching Up With the Industry.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
Improvement of Door Recognition Algorithm using Lidar and RGB-D camera for Mobile Manipulator.
Proceedings of the IEEE Sensors Applications Symposium, 2022

2021
CoSA: Scheduling by Constrained Optimization for Spatial Accelerators.
Proceedings of the 48th ACM/IEEE Annual International Symposium on Computer Architecture, 2021

Turning Around and Around: Motion Planning through Thick and Thin Turnstiles.
Proceedings of the 33rd Canadian Conference on Computational Geometry, 2021


  Loading...