Computer Science

Artificial IntelligenceComputational ComplexityComputational Engineering, Finance, and ScienceComputational GeometryComputation and LanguageComputers and SocietyComputer Science and Game TheoryComputer Vision and Pattern RecognitionCryptography and SecurityDatabasesData Structures and AlgorithmsDigital LibrariesDiscrete Mathematics
Distributed, Parallel, and Cluster ComputingEmerging TechnologiesFormal Languages and Automata TheoryGraphicsHardware ArchitectureHuman-Computer InteractionInformation RetrievalInformation TheoryLogic in Computer ScienceMachine LearningMathematical SoftwareMultiagent Systems
MultimediaNetworking and Internet ArchitectureNeural and Evolutionary ComputingNumerical AnalysisOperating SystemsPerformanceProgramming LanguagesRoboticsSocial and Information NetworksSoftware EngineeringSoundSymbolic Computation
Beyond Runtime Enforcement: Shield Synthesis as Defensibility Analysis for Adversarial Networks

Beyond Runtime Enforcement: Shield Synthesis a...

Artificial Intelligence
Avatar
librarian
1 view
Dense Supervision, Sparse Updates: On the Sparsity and Geometry of On-Policy Distillation

Dense Supervision, Sparse Updates: On the Spar...

Machine Learning
Avatar
librarian
4 views
The Stable Recovery Manifold: Geometric Principles Governing Recoverability in Continual Learning

The Stable Recovery Manifold: Geometric Princi...

Machine Learning
Avatar
librarian
7 views
Beyond the Commitment Boundary: Probing Epiphenomenal Chain-of-Thought in Large Reasoning Models

Beyond the Commitment Boundary: Probing Epiphe...

Machine Learning
Avatar
Daniel Scalena
8 views
Existence Precedes Value: Joint Modeling of Observational Existence and Evolving States in Time Series Forecasting

Existence Precedes Value: Joint Modeling of Ob...

Machine Learning
Avatar
librarian
8 views
A2D2: Fine-Tuning Any-Length Discrete Diffusion for Adaptive Decoding

A2D2: Fine-Tuning Any-Length Discrete Diffusio...

Machine Learning
Avatar
Sophia Tang
9 views
MaxProof: Scaling Mathematical Proof with Generative-Verifier RL and Population-Level Test-Time Scaling

MaxProof: Scaling Mathematical Proof with Gene...

Machine Learning
Avatar
librarian
16 views
Learning with Simulators: No Regret in a Computationally Bounded World

Learning with Simulators: No Regret in a Compu...

Machine Learning
Avatar
Sasha Voitovych
7 views
Understanding Truncated Positional Encodings for Graph Neural Networks

Understanding Truncated Positional Encodings f...

Machine Learning
Avatar
librarian
7 views
AgentBeats: Agentifying Agent Assessment for Openness, Standardization, and Reproducibility

AgentBeats: Agentifying Agent Assessment for O...

Artificial Intelligence
Avatar
librarian
9 views
EurekAgent: Agent Environment Engineering is All You Need For Autonomous Scientific Discovery

EurekAgent: Agent Environment Engineering is A...

Artificial Intelligence
Avatar
librarian
22 views
Agents-K1: Towards Agent-native Knowledge Orchestration

Agents-K1: Towards Agent-native Knowledge Orch...

Artificial Intelligence
Avatar
librarian
8 views
SpikeDecoder: Realizing the GPT Architecture with Spiking Neural Networks

SpikeDecoder: Realizing the GPT Architecture w...

Neural and Evolutionary Computing
Avatar
Claas Beger
6 views
The Standard Interpretable Model: A general theory of interpretable machine learning to deductively design interpretable methods using Lagrangian mechanics

The Standard Interpretable Model: A general th...

Machine Learning
Avatar
Pietro Barbiero
13 views
Nonslop: A Gamified Experiment in Human-AI Collaborative Writing

Nonslop: A Gamified Experiment in Human-AI Col...

Artificial Intelligence
Avatar
Maria Edwards
15 views
Towards Responsibly Non-Compliant Machines

Towards Responsibly Non-Compliant Machines

Artificial Intelligence
Avatar
librarian
12 views
Breaking Entropy Bounds: Accelerating RL Training via MTP with Rejection Sampling

Breaking Entropy Bounds: Accelerating RL Train...

Machine Learning
Avatar
librarian
14 views
On Subquadratic Architectures: From Applications to Principles

On Subquadratic Architectures: From Applicatio...

Machine Learning
Avatar
librarian
15 views
APPO: Agentic Procedural Policy Optimization

APPO: Agentic Procedural Policy Optimization

Machine Learning
Avatar
librarian
13 views
Redesign Mixture-of-Experts Routers with Manifold Power Iteration

Redesign Mixture-of-Experts Routers with Manif...

Machine Learning
Avatar
Songhao Wu
17 views
The Impossibility of Eliciting Latent Knowledge

The Impossibility of Eliciting Latent Knowledge

Artificial Intelligence
Avatar
librarian
15 views
A Five-Plane Reference Architecture for Runtime Governance of Production AI Agents

A Five-Plane Reference Architecture for Runtim...

Artificial Intelligence
Avatar
Krti Tallam
14 views
PROJECTMEM: A Local-First, Event-Sourced Memory and Judgment Layer for AI Coding Agents

PROJECTMEM: A Local-First, Event-Sourced Memor...

Artificial Intelligence
Avatar
librarian
14 views
StatefulDiscovery: Evidence-Calibrated Claim Formation in Open-Ended Scientific Discovery

StatefulDiscovery: Evidence-Calibrated Claim F...

Artificial Intelligence
Avatar
12531182
12 views
Embodied-BenchClaw: An Autonomous Multi-Agent System for Embodied Spatial Intelligence Benchmark Construction

Embodied-BenchClaw: An Autonomous Multi-Agent ...

Artificial Intelligence
Avatar
librarian
10 views
Toward Generalist Autonomous Research via Hypothesis-Tree Refinement

Toward Generalist Autonomous Research via Hypo...

Computation and Language
Avatar
Jiajie Jin
9 views
Generalization Hacking: Models Can Game Reinforcement Learning by Preventing Behavioral Generalization

Generalization Hacking: Models Can Game Reinfo...

Machine Learning
Avatar
librarian
10 views
ABC-Bench: An Agentic Bio-Capabilities Benchmark for Biosecurity

ABC-Bench: An Agentic Bio-Capabilities Benchma...

Artificial Intelligence
Avatar
librarian
15 views
CIAware-Bench: Benchmarking Control Intervention Awareness Across Frontier LLMs

CIAware-Bench: Benchmarking Control Interventi...

Artificial Intelligence
Avatar
librarian
15 views
EEVEE: Towards Test-time Prompt Learning in the Real World for Self-Improving Agents

EEVEE: Towards Test-time Prompt Learning in th...

Machine Learning
Avatar
Weixian Xu
24 views
A Unifying Lens on Supervised Fine-Tuning Through Target Distribution Design

A Unifying Lens on Supervised Fine-Tuning Thro...

Machine Learning
Avatar
Tong Xie
20 views
When to Align, When to Predict: A Phase Diagram for Multimodal Learning

When to Align, When to Predict: A Phase Diagra...

Machine Learning
Avatar
Ilay Kamai
17 views
Load more