Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXivAI 번역논문
Solidity 컴파일러의 오컴파일 버그 탐지 및 이해
본 글은 스마트 컨트랙트의 정확성 보장에 필수적인 Solidity 컴파일러의 품질 향상을 목표로 합니다. 개발된 도구 SolSmith는 의미론적 인식 차분 퍼즈 테스트를 통해 오컴파일 버그(miscompilation bugs)를 탐지했으며, 이를 통해 25개의 기존 결함을 발견했습니다.
7월 9일1
arXivAI 번역논문
ORCAID: 연속 액션 공간을 위한 사선 규칙 기반 해석 정책 (Oblique Rule-Based Continuous-Action
ORCAID는 연속 액션 공간을 가진 복잡한 환경에서 훈련된 강화학습(RL) 에이전트로부터 해석 가능한 규칙 기반 정책을 추출하는 새로운 방법을 제안합니다. 이 방법은 상태 공간을 초평면으로 분할하고 국소 선형 모델을 적합시키는 효율적인 사선 결정 트리 훈련 알고리즘에 기반합니다. ORCAID는 간결한 규칙 세트를 도출하면서도 강력한 성능을 유지함을 입증했습니다.
7월 9일1
arXivAI 번역논문
PALS: LLM 가지치기를 위한 분위수 인식 계층별 희소성
본 논문은 LLM의 효율적인 경량화를 위해 PALS (Percentile-Aware Layerwise Sparsity)라는 새로운 가지치기 기법을 제안합니다. PALS는 활성화 크기의 분위수를 기반으로 계층별 희소성을 조정하여, 기존 방법들보다 더 나은 성능과 낮은 퍼플렉서티를 달성함을 보여줍니다. 또한, 기울기 기반 할당 방식의 한계점도 제시했습니다.
7월 9일1
arXivAI 번역논문
PeTeR: 확률적 회로의 학습 후 강건화 (Post-Training Robustification of Probabilistic
본 논문은 확률적 회로(PCs)가 데이터 노이즈나 분포 변화에 취약한 문제를 해결하기 위해 PeTeR이라는 새로운 학습 후 강건화 프레임워크를 제안합니다. PeTeR은 사전 학습된 PC를 재학습 없이 분포 변화에 강건하게 만드는 데이터 프리 방식입니다.
7월 9일1
arXivAI 번역논문
GRPO 신호 극대화: 난이도 문제에 대한 적응형 트레이스 접두사 제어
본 논문은 Group Relative Policy Optimization (GRPO)의 한계를 극복하기 위해 AdaPrefix-GRPO라는 새로운 방법을 제안합니다. 이 방법은 참조 해답의 접두사 길이를 난이도에 따라 동적으로 조절하는 피드백 컨트롤러를 도입하여, 모델 학습 과정에서 가장 효과적인 기울기 신호를 얻도록 합니다. 이를 통해 어려운 문제 해결 능력을 크게 향상시키고 트레이스 길이는 줄일 수 있습니다.
7월 9일1
arXivAI 번역논문
신경 연산자 기반 위상 정보 활용 진화 전략을 이용한 편미분 방정식 제약 최적화
본 논문은 PDE 기반 물리 시스템의 역설계를 위해 신경 연산자(DeepONet)와 진화 전략(CMA-ES)을 결합한 NOTES를 제안합니다. NOTES는 위상 정보를 활용하여 고차원 설계 공간에서 효율적이고 전이 가능한 글로벌 최적화를 수행하며, 나노광학 빔 디플렉터 및 구조 최적화 등 다양한 분야에서 우수한 성능을 입증했습니다.
7월 9일1
arXivAI 번역논문
선형화의 핵심: 분석 기반 트랜스포머 선형화
본 연구는 인과적 셀프 어텐션의 2차 비용 문제를 해결하기 위해 트랜스포머 선형화 기법을 제안합니다. 모델 품질 보존에 초점을 맞춰, 상태 업데이트 설계와 구조적 개입(싱크 토큰 등)을 분석했습니다. LLaMA 및 Qwen 같은 대규모 모델까지 확장하여 MMLU에서 우수한 성능과 긴 컨텍스트 검색 능력을 입증했습니다.
7월 9일1
arXivAI 번역논문
Co-LMLM: 연속 질의 기반 제한 메모리 언어 모델
본 논문은 제한 메모리 언어 모델(LMLMs)의 한계를 극복하기 위해 연속 질의 기반 LMLM (CO-LMLM)을 제안합니다. CO-LMLM은 외부 지식 베이스를 활용하여, 인간이 읽고 출처가 명시된 검색 지식을 생성 과정에 통합하는 것이 특징입니다. 이 모델은 기존 방식보다 높은 사실적 정확성과 낮은 퍼플렉서티를 보여주며, GPT-4o-mini와 유사하거나 능가하는 성능을 입증했습니다.
7월 9일2
GeekNews헤드라인
Grok 4.5 공개
본 기사는 xAI의 Grok 4.5 공개와 관련하여, 모든 LLM 제공사가 정치적 서사에 맞춰 답변을 조정할 가능성이 높으며 모델 신뢰성에 대한 근본적인 의문을 제기합니다. 특히 Grok이 실제로는 매우 경제적이고 유용하며, 도덕성 논쟁보다는 실용적인 관점에서 접근해야 한다고 주장합니다.
7월 9일1
XAI 번역요약
Apple이 Hugging Face에 HAT을 공개하다
Apple이 기계 번역 모델의 환각 발생 시점을 감지할 수 있도록 대규모 데이터셋인 HAT을 공개했습니다. 이 데이터셋은 38개 언어 쌍에 걸쳐 총 35만 개의 스팬 레벨 주석을 포함하고 있습니다.
7월 8일1
XAI 번역요약
AI 비디오에 대한 일반적인 인식과 Reactor의 더 큰 방향성
대부분의 사람들이 AI 비디오를 단순한 클립 생성으로 인식하지만, Reactor는 더 큰 목표인 '세상 생성'에 초점을 맞추고 있습니다. Lingbot 2.0은 기존의 비디오 모델이 아닌, 개발자들이 상호작용적이고 실시간 경험을 구축할 수 있는 인프라를 제공하는 것이 핵심입니다.
7월 8일1
r/LocalLLaMAAI 번역분석
HF Viewer에 수많은 새로운 기능이 추가되었습니다!
Hugging Face Viewer가 대대적으로 개편되어 2000개 이상의 모델을 즉시 검색할 수 있게 되었습니다. 또한, 마우스 오버 시 그래프의 특정 위치와 연결되는 인터랙티브 아티클 작성 기능도 추가되었습니다.
7월 8일1
X요약
Anthropic가 Claude 머리 속을 열었다. 말로 옮길 수 있는 내부 패턴 묶음을 J-space라고 이름 붙였다.
Anthropic은 Claude의 내부 작동 방식을 탐구하여 'J-space'라는 개념을 제시했습니다. 이는 말로 표현할 수 있는 내부 패턴 묶음으로, 모델이 특정 자극에 반응하는 과정을 시각화하고 분석한 결과입니다.
7월 8일1
AI AutomationAI 번역요약
모두가 더 나은 AI 비디오를 만들기 위해 경쟁하는 가운데, Reactor는 다른 질문을 던진다.
AI 비디오 제작 경쟁 속에서 Reactor는 새로운 관점을 제시합니다. 영상 자체를 제품이 아닌 '세상 그 자체'로 보는 인터랙티브 월드 모델에 주목하며, 이는 차세대 앱의 기반 인프라가 될 수 있다고 설명합니다. 또한, 의료 AI의 실질적인 가치는 화려한 기능보다 임상의의 업무 부담을 줄이는 데 있음을 강조합니다.
7월 8일0
arXivAI 번역논문
생물정보학 재귀 계산을 위한 컴파일러
본 글은 생물정보학 알고리즘의 효율적인 구현을 위한 도메인 특화 언어(DSL) 및 컴파일러 프레임워크 FILTR을 소개합니다. FILTR은 재귀 규칙과 가지치기/스케줄링 전략을 분리하여 관리하며, 이를 최적화된 C++ 코드로 컴파일합니다. 이로써 복잡한 생물정보학 알고리즘의 성능 향상 및 신속한 휴리스틱 탐색이 가능해집니다.
7월 8일1
arXivAI 번역논문
실제 데이터 복잡성을 반영한 대규모 언어 모델(LLM) 벤치마크
기존 LLM 벤치마크가 실제 데이터 분석 환경을 반영하지 못하는 문제를 지적하며, 정부 공개 데이터를 기반으로 DataGovBench를 소개합니다. 이 벤치마크는 복잡한 질문에 답하는 Table QA와 전문가 수준의 통찰력을 발견하는 Table Insight 두 가지 작업을 포함하여 LLM 평가의 새로운 기준을 제시합니다.
7월 8일2
arXivAI 번역논문
계층적 음향-의미 모델링: 전이중(Full-Duplex) SLM을 위한 모달리티 분리 및 의미 일관성
본 논문은 전이중(full-duplex) 음성 언어 모델(SLMs)의 핵심 과제인 모달리티 간섭 문제를 다룹니다. 연구진은 이 문제가 깊은 매개변수 공간 공유에서 발생하는 기울기 충돌 때문임을 밝혀냈습니다. 이에 따라, 모달리티 분리 및 의미 일관성을 유지하는 계층적 전이중 프레임워크 Lychee-FD를 제안합니다.
7월 8일1
arXivAI 번역논문
GraphBU: 그래프 네이티브 블록 유닛을 이용한 MILP 인스턴스 생성
본 논문은 MILP(혼합-정수 선형 계획법) 인스턴스를 생성하는 새로운 방법인 GraphBU를 제안합니다. 기존 방식의 한계를 극복하기 위해, GraphBU는 국부 서브문제와 그 인터페이스로 구성된 그래프 네이티브 생성기를 사용합니다. 이 접근법은 결합 노드를 마스터 제약 조건이나 경계 변수로 승격시켜 높은 호환성을 보장하며, 다운스트림 예측 및 검색 학습 성능을 개선하는 것으로 나타났습니다.
7월 8일1
X요약
AI가 의식을 가졌다는 뉴스가 도는데, 앤트로픽이 실제로 찾은 건 정반대다.
앤트로픽(Anthropic)이 Claude 내부의 'J-space'라는 작업공간을 발견했습니다. 이는 뇌과학의 전역 작업공간 이론과 유사하며, AI가 실제로 처리하고 의식적으로 다룰 수 있는 정보는 전체 연산 중 극히 일부임을 수치로 보여줍니다.
7월 8일1
X요약
한창 코엑스에서 진행되는 ICML 2026 어워즈 결과도 한번 살펴보시길..
ICML 2026 어워즈에서 발표된 두 논문을 소개합니다. 첫 번째는 언어 모델이 자유로운 순서로 문장을 생성할 때 오히려 학습의 어려움을 회피하는 '유연성 함정' 문제를 지적하고, 이를 해결하기 위해 JustGRPO라는 절충안을 제안했습니다. 두 번째 연구는 확산 모델의 정밀도 향상을 위한 샘플링 과정에서 필요한 계산 단계를 획기적으로 줄이는 FORS 방법을 제시하며, 효율적인 이미지 생성 가능성을 보여줍니다.
7월 8일4