Publication Catalog

所有文章

All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.

5927
Stories
Исследования1 мин

CaLR: Causal Latent Revision for Robust Diffusion Reasoning

Autoregressive (AR) models suffer from local greediness, while diffusion language models (DLMs) often lack the strict causal structure required for reasoning. To combine the advantages and overcome the drawbacks of the dual, we propose Causal Latent Revision (CaLR), a framework…

arXiv — cs.AI
Исследования1 мин

LoRA Enhanced Contrastive Learning with SAS Vision Transformers

Automatic target recognition (ATR) with synthetic aperture sonar (SAS) supports advanced naval capabilities, but deep learning is constrained by scarce target imagery, background clutter, and human-in-the-loop assessment. We adapt DINOv3 Vision Transformer (ViT) models to…

arXiv — cs.AI
Исследования1 мин

Clinician-Grounded Quality Assurance for AI-Assisted Psychiatric Intake

Before patients can use AI-assisted psychiatric intake systems, health systems need practical ways to routinely evaluate these tools against their clinical standards for quality assurance. Because clinicians may use different intake styles, evaluation for this task must (1)…

arXiv — cs.AI
Исследования1 мин

Can Agents Design Better Chips with a Higher Level Abstraction?

Large Language Model (LLM) agents are increasingly being explored for chip design, but most existing approaches operate directly at RTL. We ask whether agents can design better chips by leveraging higher-level abstractions. We compare Direct RTL Design, Agent-based HLS Design,…

arXiv — cs.AI
Исследования1 мин

Implicit Rule Induction with Test-Time Task Embeddings in ARC-like Tasks

The Abstraction and Reasoning Corpus and related benchmarks evaluate whether AI models can solve novel reasoning tasks, but often leave unclear whether success reflects inference of the intended underlying rule or reliance on shortcuts. We address this gap by studying test-time…

arXiv — cs.AI
Исследования1 мин

A Fully Differentiable Neuro-Soft-Symbolic Framework for Perceptual Task Planning

Perceptual planning tasks require two key capabilities: accurately perceiving uncertain scenes and planning valid action sequences following logical rules. Conventional methods convert perception into discrete symbolic facts and then plan, discarding perceptual uncertainty and…

arXiv — cs.AI
Исследования1 мин

CogGym: Towards Large-Scale Comparative Evaluation of Human and Machine Cognition

Understanding and modeling human intelligence are parallel goals shared by artificial intelligence (AI) and cognitive science. As AI systems grow increasingly capable, in what ways do model responses resemble human responses, and where do they systematically diverge? The sheer…

arXiv — cs.AI
Исследования1 мин

PlaceReasoner-Beta: Reasoning-Driven Macro Placement and Benchmarking

Automated macro placement remains a fundamental challenge in VLSI physical design. Despite decades of research, existing approaches predominantly optimize hand-crafted proxy objectives, such as estimated wirelength, and typically produce placements through one-shot numerical…

arXiv — cs.AI
Исследования1 мин

Efficient Benchmarking in Production: A Study of an Evolving LLM Agent

Production LLM agents are evaluated repeatedly as they evolve, but full agent benchmarks are costly to rerun. We study efficient recurring evaluation for a production analytics agent serving tens of thousands of monthly active users and report first-hand deployment experience.…

arXiv — cs.AI
Исследования1 мин

GameASG-Bench: Benchmarking Autonomous Software Generation for Game Development

Autonomous software generation (ASG) aims to turn human requirements into executable applications, but delivering these applications does not necessarily establish that their interacting components satisfy the specified behavioral requirements. We introduce GameASG-Bench, a…

arXiv — cs.AI
Исследования1 мин

LEGIT: Credentialing Protocol for Trustworthy AI Agent Marketplaces

Agentic marketplaces are emerging where AI agents with varying capabilities autonomously complete specialized tasks for buyers. A major challenge of such marketplaces is that buyers cannot easily determine which agent will perform best on their tasks. Reported benchmark scores…

arXiv — cs.AI
Исследования1 мин

Offline Multimodal Large Language Models for Decision Support in Air Operations

Air operations rely on complex rules, established procedures, and time-critical analysis under limited connectivity and strict security constraints. In such environments, analysts must combine written doctrine with images, often without access to external computing resources.…

arXiv — cs.AI
Исследования1 мин

Risk-Aware Occupancy for Safety-Oriented End-to-End Autonomous Driving

Sparse representation formulates the environment perception for the end-to-end driving system as a set of discrete elements like objects and lane lines. This formulation meets safety risks in crowded, occluded scenes dealing with unstructured obstacles, uncertain regions, and…

arXiv — cs.AI
База знаний1 мин

Did Elon catch up? (Grok 4.7 is here)

Grock 4.7 is here, but let me start with something different today. We're going to look at Elon's tweet. This was from about a week ago in which he was predicting how good the different Grock versions would be. And he says right here, "Grock 4.7 should be roughly on par with…

YouTube — Matthew Berman
Исследования1 мин

有效第三方评估的优先事项和原则

OpenAI 概述了对前沿模型和保障措施进行严格、安全和独立的第三方人工智能安全评估的优先事项和原则。

OpenAI Blog
Общее1 мин

Transformers now runs llama.cpp quants

We’re on a journey to advance and democratize artificial intelligence through open source and open science.

Hugging Face Blog
Стартапы1 мин

Meta 的特权人工智能助手 Muse 存在严重的 0day

Meta 创始人兼首席执行官马克·扎克伯格不遗余力地宣传其新人工智能助手 Muse 的安全性,声称它“是为了隐私和安全而从头开始构建的”。一个零日漏洞,使本地运行的应用程序和终端命令完全控制......

Ars Technica — AI