358 citations · 754 across the 10 of their papers we have counts for
10 papers
Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
Sangjun Han, Taeil Hur, Youngmi Hur +3
The challenge of formal proof generation has a rich history, but with modern techniques, we may finally be at the stage of making actual progress in real-life mathematical problems…
Laplacian Pyramid-like Autoencoder
Sangjun Han, Taeil Hur, Youngmi Hur
In this paper, we develop the Laplacian pyramid-like autoencoder (LPAE) by adding the Laplacian pyramid (LP) concept widely used to analyze images in Signal Processing. LPAE decomp…
Deep learning for determining a near-optimal topological design without any iteration
Yonggyun Yu, Taeil Hur, Jaeho Jung +1
In this study, we propose a novel deep learning-based method to predict an optimized structure for a given boundary condition and optimization setting without using any iterative s…
Scale invariant extension of the standard model with strongly interacting hidden sector
Taeil Hur, P. Ko
We present a scale invariant extension of the standard model with new QCD-like strong interaction in the hidden sector. A scale is dynamically generated in the hidden sector…
Electroweak symmetry breaking and cold dark matter from strongly interacting hidden sector
P. Ko
We consider a hidden sector with new vectorlike confining gauge theories like QCD. Then a scale would be generated in the hidden sector by dimensional transmutation, and chir…
Common gauge origin of discrete symmetries in observable sector and hidden sector
Taeil Hur, Hye-Sung Lee, Christoph Luhn
An extra Abelian gauge symmetry is motivated in many new physics models in both supersymmetric and nonsupersymmetric cases. Such a new gauge symmetry may interact with both the obs…