Broken by Default: A Formal Verification Study of Security Vulnerabilities in AI-Generated Code
이 논문은 7 개의 최첨단 LLM 이 생성한 3,500 개의 코드 아티팩트를 Z3 SMT 솔버를 통해 형식 검증한 결과, 모든 모델이 평균 55.8% 의 취약점을 포함하며 기존 보안 도구들이 이 중 97.8% 를 놓치고 있음을 보여줍니다.
✓ 저자 검토
저자가 검토한 논문
원저자가 쉬운 설명을 검토한 논문들.
이 페이지에 소개된 모든 논문은 원저자 중 최소 한 명이 저희의 쉬운 설명을 확인하여 내용이 정확하다고 확인했거나 수정 사항을 요청하여 저희가 반영한 것입니다. 확인이 각 문장을 공식적으로 승인한다는 의미는 아니지만, 설명이 논문을 쓴 당사자의 검토를 거쳤다는 뜻입니다.
저자가 검토한 논문 279편 · 71–80 / 279
Non-Abelian Ginzburg-Landau Theory of Spin Triplet Superconductivity
이 논문은 스핀 삼중항 초전도성과 마그논 스핀트로닉스를 설명하기 위해 SU(2)xU(1) 게이지 대칭을 도입한 비아벨 게이지-랜다우 이론을 제시하며, 질량을 가진 광자와 마그논, 질량이 없는 중성 마그논, 그리고 힉스 장으로 구성되고 비아벨 마이스너 효과, 두 가지 유형의 소용돌이 및 단극자, 그리고 세 가지 특징적인 길이 척도를 갖는 이론적 체계를 제안합니다.
In search of truth: Evaluating concordance of AI-based anatomy segmentation models
이 논문은 아노테이션이 없는 데이터셋에서 AI 해부학 분할 모델 간의 일관성을 평가하고 모델 간 불일치를 식별하기 위해 출력을 표준화된 표현으로 통합하고 상호작용형 시각화 도구를 제공하는 실용적 프레임워크를 제안하며, NLST CT 스캔을 활용한 6 가지 오픈소스 모델 비교를 통해 불일치 사례를 플래그하고 전문가 검토가 필요한 사례를 우선순위화하는 데 그 유용성을 입증합니다.
Study of the migration of Earth-like planets in planetesimal disks and the formation of debris disks
본 연구는 지구 질량의 행성이 소행성대 내로 이동했다가 다시 돌아오는 과정에서 소행성들의 상대 속도를 증가시켜 파편화를 유발함으로써 외곽의 잔해 원반 (debris disk) 형성에 기여할 수 있음을 보여줍니다.
SenseAI: A Human-in-the-Loop Dataset for RLHF-Aligned Financial Sentiment Reasoning
이 논문은 강화학습 기반 인간 피드백 (RLHF) 에 최적화된 인간 개입 검증 금융 감성 데이터셋 'SenseAI'를 소개하고, 이를 통해 대규모 언어 모델의 금융 추론 오류가 예측 가능하고 교정 가능한 체계적 패턴을 보임을 규명했습니다.
New-born strings are tensionless
이 논문은 유한한 수명을 가진 끈의 역학을 유한한 시공간 영역인 '인과 다이아몬드' 내에서 처음으로 규명함으로써, 끈이 탄생하는 순간에만 장력이 사라지는 새로운 무장력 끈 상을 발견했다고 보고합니다.
Organism-Environment Topological Interfaces Drive the Origination of Organismal Form
이 논문은 생물과 환경 사이의 위상학적 인터페이스가 자원 수송 제약과 위상적 선택을 통해 형태, 크기, 복잡성 및 운동성 등 생물학적 형태의 기원과 급속한 다양화를 주도한다는 새로운 패러다임을 제시합니다.
Device/circuit simulations of silicon spin qubits based on a gate-all-around transistor
이 논문은 게이트 올 어라운드 (GAA) 트랜지스터 기반 실리콘 스핀 큐비트의 읽기 과정을 TCAD 와 SPICE 시뮬레이션을 통해 분석하여, 전압 제어를 통해 기존 센스 앰프를 활용한 효과적인 신호 증폭 및 읽기가 가능함을 입증했습니다.
Analytical Kink-Type Solutions and Streak Formation in Turbulent Channel Flow
본 논문은 Alexeev 유체역학 방정식을 기반으로 한 해석적 프레임워크를 통해 난류 채널 흐름의 평균 속도 프로파일과 횡방향 속도 성분의 결합을 분석하고, 이를 통해 난류 스트림와이즈 성분이 '킥 (kink)' 형태의 해를 가짐을 보이며 이것이 근벽 영역의 일관된 스트라이프 (streak) 구조 형성을 설명하는 메커니즘임을 제시합니다.
Detecting gravitational waves by emission of photons from charged Weber bars
이 논문은 전하를 띤 웨버 바를 공동 양자 전기역학 환경에 배치하여 중력파가 광자를 방출하도록 유도함으로써 중력파를 탐지하는 새로운 실험 장치를 제안합니다.