Agentic AI
Navier–Stokes 발표로 본 Agentic AI: 탐색을 증명으로 연결하는 하네스
Navier–Stokes 발표 사례를 통해 여러 agent의 탐색을 통합하고 Lean 검증으로 연결하는 하네스의 역할과 기업 시스템 설계 원칙을 살펴봅니다.
#Agentic AI#Multi-Agent Systems#Formal Verification#Navier–Stokes
글 읽기
InfiniTree Research & Engineering
Tech Blog
산업의 복잡한 문제를 지식, 알고리즘과 실행 가능한 소프트웨어로 전환하는 과정을 공유합니다.
Analog Circuit Optimization
회로 최적화에도 ’지도’가 필요하다: TDA로 transistor sizing의 feasible island 찾기
Gaussian process가 예측한 near-feasible 설계점의 모양을 Mapper graph로 요약하고 SPICE 예산을 배분하는 ATLAS의 원리와 실험을 살펴봅니다.
#Bayesian Optimization#Topological Data Analysis#Analog Circuit Sizing
글 읽기
Topological Data Analysis
데이터에도 모양이 있다: TDA로 연결, 분기, 구멍을 읽는 법
Mapper와 persistent homology의 직관에서 출발해 Differentiable Mapper와 Topological Deep Learning까지 TDA의 핵심과 경계를 살펴봅니다.
#Topological Data Analysis#Mapper#Persistent Homology
글 읽기