Minwoo Kang

According to our database1, Minwoo Kang authored at least 9 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

Virtual Personas for Language Models via an Anthology of Backstories.
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

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...