본문으로 건너뛰기

검색

전체 기사

연구 5월 6일

AI를 이용한 가능성의 주사위: 시간 계산의 시대

연구에서는 현재까지 AI 개발을 제한해 온 명사 기반 모델링 패러다임을 넘어, 동사 기반 패러다임을 소개하고, 가능성과 시간 계산의 정의를 제공한다. 이 연구는 3,276명의 유방암 환자들의 종단적 EHR 데이터에 적용하여, (1) 임상적으로 유의미한 환자 트레졸러리를 자동으로 발견하고, (2) 카운터페이탈 시간 계산을 수행한다. 이러한 결과는 완전히 데이터에 의존적이며, 이전 연구에서 보이지 않았던 기존 도메인 지식의 필요가 없는 결과를 보여준다.

에이전트 5월 6일

다중 에이전트 자율적 사고를 위한 수력학

대규모 언어 모델(LLM)로 구동되는 과학 워크플로우에서 단일 에이전트 시스템(SAS)은 기본 패턴이지만, 단일 컨텍스트 창 내에서 도구 사용 및 합성과 같은 경로 계획에 단점이 있다. 단일 에이전트 아키텍처의 컨텍스트飽和현상을 해결하기 위해, 저자는 수력학 분야에서 다중 에이전트 시스템(MAS) 프로토タイプ를 제시한다. 이 프로토タイプ는 Layer Execution Graph(LEG)로 에이전트를 협조시킨다. 계획 에이전트는 자연어 경로 힐리스트릭스에 기반하여 도메인 지식을 캡처하는 query-specific execution topologies를 생성한다. 전문가 에이전트는 엄격한 도구 허용 목록 내에서 작동하고, 대체 데이터 클래스 역할을 한다. 계층 간에, 합성 에이전트는 병렬 출력을 짧은 요약으로融合하고, 보고 에이전트는 최종 응답을 합성한다. 에이전트 실행 시, 런타임 로그는 모든 도구 호출에 대한 증명성을 지원한다.

AI 모델 5월 6일

구조된 지식에 기반한 LLM 기반 결함 분석 및 방지 지침 제공 시스템

이 연구에서는 LPBF를 대표하는 안전한 사례 연구로 LPBF 결함 분석 및 방지 지침을 제공하는 구조화된 지식에 기반한 LLM 기반 결함 분석 및 방지 지침 제공 시스템을 제안합니다. 이 시스템은 27 가지 LPBF 결함 유형을 포함하여 계층적 카테고리와 원인 관계로 조직된 지식베이스에 기반을 두고 있습니다. 이 시스템은 일반적인 목적의 시각-언어 모델과 비교하여 상당한 일치도를 나타내는 문법적 자연어 질의에 대한 지식의 체계적인 검색, 문헌에 근거한 결함의 설명, 인코딩된 프로세스 지식으로부터 결함의 원인과 방지 전략에 대한 지침을 제공합니다.

LLM PC 5월 6일

구성된 실행의 대수적 의미론: 모노이드 범주, 효과 대수, 그리고 연속한 경계

AI 연구자들은 구성된 실행의 대수적 의미론을 제시하였습니다. 이 프레임워크는 자율성을 axiomatize, compositional, 그리고 expressibility와 연관되며, 대규모 언어 모델 (~12,000 라인, 454 정리, 0 admitted)으로 구현되었습니다. 이 대수적 의미론은 상호 작용 트리와 parameterized coinduction에 기반을 두고 있습니다.

AI 모델 5월 6일

AI 워크플로 아키텍처의 효과 투명한 조직: 의미 보존, 표현적 최소성, 결정 가능성 경계

연구자들은 AI 워크플로 아키텍처의 효과 투명한 조직을 위한 새로운 방법을 제안했다. 이 방법은 내부 컴퓨팅 표현성을 줄이지 않고도 효과 수준의 조직을 강제할 수 있다. 연구자들은 이 방법을 Rocq 8.19을 사용하여 Interaction Trees를 정의하고, 모든 효과적 지시를 조정하는 구버넌스 오퍼레이터 G를 정의했다.

에이전트 5월 6일

FINALES와 Kadi4Mat 사이의 AI 인터페이스를 통해 배터리 연구를 가속화하는 것

FINALES와 Kadi4Mat 사이의 AI 인터페이스를 통해 배터리 연구를 가속화하는 것 시간이 많이 소요되는 형성 과정은 나트륨 이온 동전 세포의 수명과 종료 시 성능에 중대한 영향을 미치기 때문에 연구의 목표는 형성 프로토콜을 최적화하여 지속 시간 효율성을 향상하고 높은 성능 결과를 달성하는同时 실험의 수를 최소화하여 자원 소비를 줄이고 발견을 가속화하는 것이다. 특히, 형성 시간을 최소화하고 종료 시 성능을 최대화하는 두 가지 목표가 서로 상충할 수 있기 때문에, 이 연구에서는 두 가