Artificial Intelligence

Neural Scalable Symbolic Search Framework for Complex Logical Queries with Multiple Free Variables

Neural Scalable Symbolic Search Framework for ...

Artificial Intelligence
Avatar
Weizhi Fei
5 views
CausaLab: A Scalable Environment for Interactive Causal Discovery Toward AI Scientists

CausaLab: A Scalable Environment for Interacti...

Artificial Intelligence
Avatar
librarian
4 views
VeriTrace: Evolving Mental Models for Deep Research Agents

VeriTrace: Evolving Mental Models for Deep Res...

Artificial Intelligence
Avatar
Haolang Zhao
7 views
From Model Scaling to System Scaling: Scaling the Harness in Agentic AI

From Model Scaling to System Scaling: Scaling ...

Artificial Intelligence
Avatar
librarian
4 views
LCGuard: Latent Communication Guard for Safe KV Sharing in Multi-Agent Systems

LCGuard: Latent Communication Guard for Safe K...

Artificial Intelligence
Avatar
Sadia Asif
20 views
Gated DeltaNet-2: Decoupling Erase and Write in Linear Attention

Gated DeltaNet-2: Decoupling Erase and Write i...

Artificial Intelligence
Avatar
librarian
17 views
Claw AI Lab: An Autonomous Multi-Agent Research Team

Claw AI Lab: An Autonomous Multi-Agent Researc...

Artificial Intelligence
Avatar
librarian
21 views
MOSS: Self-Evolution through Source-Level Rewriting in Autonomous Agent Systems

MOSS: Self-Evolution through Source-Level Rewr...

Artificial Intelligence
Avatar
librarian
19 views
Advancing Mathematics Research with AI-Driven Formal Proof Search

Advancing Mathematics Research with AI-Driven ...

Artificial Intelligence
Avatar
librarian
17 views
Insights Generator: Systematic Corpus-Level Trace Diagnostics for LLM Agents

Insights Generator: Systematic Corpus-Level Tr...

Artificial Intelligence
Avatar
Akshay Manglik
22 views
Mind the Sim-to-Real Gap & Think Like a Scientist

Mind the Sim-to-Real Gap & Think Like a Scientist

Artificial Intelligence
Avatar
librarian
24 views
DeepWeb-Bench: A Deep Research Benchmark Demanding Massive Cross-Source Evidence and Long-Horizon Derivation

DeepWeb-Bench: A Deep Research Benchmark Deman...

Artificial Intelligence
Avatar
librarian
28 views
PlanningBench: Generating Scalable and Verifiable Planning Data for Evaluating and Training Large Language Models

PlanningBench: Generating Scalable and Verifia...

Artificial Intelligence
Avatar
Ziliang Zhao
11 views
AutoRPA: Efficient GUI Automation through LLM-Driven Code Synthesis from Interactions

AutoRPA: Efficient GUI Automation through LLM-...

Artificial Intelligence
Avatar
librarian
14 views
Learn-by-Wire Training Control Governance: Bounded Autonomous Training Under Stress for Stability and Efficiency

Learn-by-Wire Training Control Governance: Bou...

Artificial Intelligence
Avatar
Anis Radianis
34 views
Not Every Rubric Teaches Equally: Policy-Aware Rubric Rewards for RLVR

Not Every Rubric Teaches Equally: Policy-Aware...

Artificial Intelligence
Avatar
Utkarsh Tyagi
25 views
Probing Embodied LLMs: When Higher Observation Fidelity Hurts Problem Solving

Probing Embodied LLMs: When Higher Observation...

Artificial Intelligence
Avatar
librarian
23 views
Probabilistic Tiny Recursive Model

Probabilistic Tiny Recursive Model

Artificial Intelligence
Avatar
Amin Sghaier
26 views
GeoX: Mastering Geospatial Reasoning Through Self-Play and Verifiable Rewards

GeoX: Mastering Geospatial Reasoning Through S...

Artificial Intelligence
Avatar
librarian
24 views
AutoResearchClaw: Self-Reinforcing Autonomous Research with Human-AI Collaboration

AutoResearchClaw: Self-Reinforcing Autonomous ...

Artificial Intelligence
Avatar
librarian
26 views
Neurosymbolic Learning for Inference-Time Argumentation

Neurosymbolic Learning for Inference-Time Argu...

Artificial Intelligence
Avatar
librarian
27 views
A Methodology for Selecting and Composing Runtime Architecture Patterns for Production LLM Agents

A Methodology for Selecting and Composing Runt...

Artificial Intelligence
Avatar
librarian
26 views
OpenComputer: Verifiable Software Worlds for Computer-Use Agents

OpenComputer: Verifiable Software Worlds for C...

Artificial Intelligence
Avatar
librarian
22 views
Prior Knowledge or Search? A Study of LLM Agents in Hardware-Aware Code Optimization

Prior Knowledge or Search? A Study of LLM Agen...

Artificial Intelligence
Avatar
Dmitry Redko
24 views
Learning Quantifiable Visual Explanations Without Ground-Truth

Learning Quantifiable Visual Explanations With...

Artificial Intelligence
Avatar
librarian
26 views
Efficient Lookahead Encoding and Abstracted Width for Learning General Policies in Classical Planning

Efficient Lookahead Encoding and Abstracted Wi...

Artificial Intelligence
Avatar
Michael Aichmüller
21 views
AI for Auto-Research: Roadmap & User Guide

AI for Auto-Research: Roadmap & User Guide

Artificial Intelligence
Avatar
librarian
20 views
Position: A Three-Layer Probabilistic Assume-Guarantee Architecture Is Structurally Required for Safe LLM Agent Deployment

Position: A Three-Layer Probabilistic Assume-G...

Artificial Intelligence
Avatar
librarian
32 views
SkillGenBench: Benchmarking Skill Generation Pipelines for LLM Agents

SkillGenBench: Benchmarking Skill Generation P...

Artificial Intelligence
Avatar
librarian
21 views
GIM: Evaluating models via tasks that integrate multiple cognitive domains

GIM: Evaluating models via tasks that integrat...

Artificial Intelligence
Avatar
librarian
18 views
Democratizing Large-Scale Re-Optimization with LLM-Guided Model Patches

Democratizing Large-Scale Re-Optimization with...

Artificial Intelligence
Avatar
librarian
19 views
CatalyticMLLM: A Graph-Text Multimodal Large Language Model for Catalytic Materials

CatalyticMLLM: A Graph-Text Multimodal Large L...

Artificial Intelligence
Avatar
Yanjie Li
19 views
Load more