1186개의 기사
arXiv:2605.23179v1 Announce Type: new Abstract: Agentic AI orchestrators reduce the interface and assembly costs of composing information systems capabilities across organizational boundaries, seeming
arXiv:2605.23109v1 Announce Type: new Abstract: AI agents increasingly excel at generating, testing, and refining code. However, they fall short on tasks requiring formal guarantees of full coverage t
arXiv:2605.23074v1 Announce Type: new Abstract: The emergence of Large Reasoning Language Models (LRMs) has paved the way for tackling complex reasoning tasks through test-time scaling by generating l
arXiv:2605.23024v1 Announce Type: new Abstract: Large language models now write software, draft legal documents, and produce clinical notes, yet fundamental limits, from Turing and Arrow to the No Fre
arXiv:2605.22905v1 Announce Type: new Abstract: Self-evolving agents should not train on examples they cannot justify. Data-free self-evolving search agents offer a scalable route to systems that gene
arXiv:2605.22900v1 Announce Type: new Abstract: Mediative Fuzzy Logic was conceived as a practical scheme for reconciling hesitant or conflicting assessments in fuzzy control and decision-making. Howe
arXiv:2605.22885v1 Announce Type: new Abstract: Formal mathematics libraries are rapidly expanding, creating a growing need to refactor verified proofs for maintainability and to improve training data
arXiv:2605.22883v1 Announce Type: new Abstract: Current AI energy benchmarks measure consumption at the granularity of a single model invocation or training run. For classical single-turn workloads th
arXiv:2605.22878v1 Announce Type: new Abstract: The exponential growth of global academic output has confronted researchers and AI agents with an unprecedented ``information explosion,'' where fragmen
arXiv:2605.22875v1 Announce Type: new Abstract: We present $\textbf{Research Math Agents (RMA)}$, an agentic framework for automated reasoning on research-level mathematical problems. Unlike prior stu
arXiv:2605.22874v1 Announce Type: new Abstract: Effectively translating between natural language (NL) and formal logics like Linear Temporal Logic (LTL) requires expertise that limits formal verificat
arXiv:2605.22866v1 Announce Type: new Abstract: Compound AI systems route tasks through hierarchies of specialised components. Attribution is dominated by Shapley-based methods (SHAP), which decompose
Crowd Preferences arXiv:2605.21822v1 Announce Type: new Abstract: Reinforcement Learning from Human Feedback (RLHF)는 작업 완료를 초과하는 안전 고려 사항과 같은 암시적인 목표를 밝힐 수 있습니다. 이 작업에서 우리는 대중 선호 데이터 세트에 내장된 공통 보안 기준에 초점을 맞추고 있으며, 다른 사용자가 다른 선호도 또는 목표를 표현할 수 있지만 유사한 보안 원칙을 따를 수 있습니다. 우리의 목표는 대중 선
Trace2Skill: 검증기 안내형 기술 진화 방법을 사용한 긴 문맥의 EDA 에이전트 arXiv:2605.21810v1 발표 유형: 신규 요약: 복잡한 베리로그 설계 문제(CVDP)는 하드웨어 대규모 언어 모델(LLM) 에이전트에게 도전을 제기합니다. 이러한 문제를 해결하려면 대규모 저장소 스냅샷 내에서 검증기 관련 RTL, 테스트 벤치, 포함 경로 및 빌드 종속성을 지역화하고 정밀한 편집을 수행하며 희박한 숨겨진 검증기 오류에서 복구해야 하기 때문입니다. 우리는 RTL에 특화된 모델 미세 조
이러한 현장 체계는 AI의 현장 행동을 믿는 사람 사이코패션 (Discophancy)과 관련이 있습니까? A Taxonomy and Expert Survey of a Fragmented Construct arXiv:2605.21778v1 Announce Type: new Abstract: AI 사이코패션은 대형 언어 모델 (LLM) 연구를 설명하기 위해 동일한 용어를 사용하는 것으로 나타났습니다. 그러나 용어는 일관된 정의가 부족하고 사용자의 잘못된 주장에 동의하는 것부터 사용자의 잘못된 주장에
기계 학습 모델의 설명성에 대한 원인적 논증 방법 arXiv:2605.21758v1 발표 유형 : 새로운 추론 : 설명 가능한 AI (XAI) 방법은 모델의 예측에 관련된 특징을 식별하지만 종종 특정 결정을 내리는 이유를 명확히하지 못합니다. 이 작품에서는 원인성과 논쟁 기반 논증을 통합하여 모델이 예측을 할 수있는 이유를 설명하는 새로운 방법을 제시합니다. 우리의 접근 방식은 원인 발견 방법을 사용하여 변수 간의 원인 관계를 먼저 식별하고 결과를 양극적 논증 프레임 워크 (Bipolar Argu
누가 AI를 사용합니까? 플랫폼, 인력 및 AI 노출 arXiv:2605.21743v1 발표 유형: 새로운 추론: 성장하는 문학은 인공 지능 플랫폼 대화 로그를 사용하여 직업 노출을 측정합니다. 우리는 이러한 점수가 부분적으로 근로자 대신 플랫폼 사용자 기반을 측정한다는 것을 보여줍니다. 결과, 샘플, 컨트롤 및 예상자가 단지 플랫폼 입력이 변하는 동안 고정되어 있으며 채팅 후 채팅GPT 취업 요소가 1.9의 요소로 변경되며 판매자 내의 소비자 대 기업 채널은 신호에 동의하지 않는 추정치를 생성합
SMDD-벤치: LLM은 실제 세계의 소분자 약물 디자인 과제를 해결할 수 있습니까? arXiv:2605.21740v1 발표 유형 : 새로운 포스트 : LLM 에이전트는 과학적 발견 응용 프로그램에 대한 놀라운 잠재력을 가지고 있습니다. 그러나 실제 세계의 소분자 약물 디자인 (SMDD) 과제에 대한 LLM 에이전트의 성능은 분명하지 않습니다. 현재의 평가 방법은 ad hoc, 현실 세계의 발견에 너무 간단하고 규모가 제한되거나 단일 회전 질문 응답에 제한됩니다. SMDD-벤치 (SMDD) 과제
이러한 대화 capuneBench: 대화 기반 컨텍스트를 직접 예측하는 행동: LLM 감정적 인 지능 프레임 워크에 대한 통합 기반 벤치마크 arXiv:2605.21739v1 발표 유형 : 새로운 추론 : 감정적 인 지능 (EI), 다른 사람의 감정적 인 상태에 적절하게 인식, 이해 및 응답 할 수있는 능력은 인간의 의사 소통의 중심이며 LLM이 일상 생활에서 대화 역할을 수행함으로써 점점 더 중요합니다. 기존 EI 벤치마크는 합성 프롬프트, 단일 회로 행동 사례 또는 특정 제 3 자 항목에 의존
예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어, 예를 들어,
인공지능(AI)의 사용과 정보성은 인간의 문제 해결에 점점 더 통합되고 있지만, 개인 기술 개발에 미치는 영향은 여전히 불분명하다. 논리적 이론 arXiv:2605.21695v1 발표 유형: 새로운 추론: 인공지능(AI)은 인간 문제 해결에 점점 더 통합되고 있지만, 개인 기술 개발에 미치는 영향은 여전히 불분명하다. 인공지능 사용과 정보성은 어떻게 AI를 사용하지 않는 일치하는 사용자와 마찬가지로 학습을 형성할 수 있는지 살펴보았습니다. 우리는 AI 지원에 대한 수요에 따라 통제된 논리적 이론
이 카테고리 구성원들의 안전 카테고리 다운 스트림 개념을 조사하는 카테고리 구성원들의 신뢰할 수없는 식별을 사용하여 카테고리 구성원 arXiv:2605.21683v1 광고 유형 : 새로운 추론 : 일상적인 개념에 대한 인간-같은 이해를 가진 AI 시스템을 개발하는 것은 안전하고 신뢰할 수있는 시스템을 개발하기위한 핵심 단계입니다 인간에 대한 신뢰할 수없는 카테고리 구성원들 (예를 들어, "올리브가 차량입니까?")에 대한 개념 이해에 대한 질문을 할 때 (예를 들어, "자동차가 차량입니까?") 우리
AOP-Wiki는 내부 통합 데이터 모델 확장 및 컨텐츠 평가 프레임 워크를 통해 AOPs와 새로운 건강 접근 방법론 (NAMs) 사이의 통합을 개선하기 위해 Agentic AI를 사용하는 데이터 모델링 프레임 워크 (AOP)를 개선했습니다. arXiv:2605.21645v1 Announce Type: new Abstract: Adverse Outcome Pathways (AOP) is logical models that causeally link biological mechanisms that
홀로코스트 연구에서 연구자들은 종종 두 가지 형태의 구두 생존자 증언을 구별했습니다 : USC 쇼아 재단의 인터뷰는 Yale Fortunoff 비디오 아카이브가 일반적으로 더 자유로운 형태, 개방형 스타일을 선호하는 반면, 구두 역사 아카이브에 대한 구조화 된, 인터뷰가 지시 된 형식을 따르는 경향이 있습니다. 이 구별은 학문적 인 연구와 나중의 아카이브의 개발에 영향을 미쳤습니다. 이 연구에서 USC 쇼아 재단의 인터뷰는 두 컬렉션에서 1,600 개 이상의 증언의 대규모 컴퓨팅 분석을 수행함으로
