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
(Auto)formalization is supposed to be easy: Trellis process semantics for spelling out rigorous proofs

(Auto)formalization is supposed to be easy: Tr...

Artificial Intelligence
Avatar
librarian
5 views
End-to-End Context Compression at Scale

End-to-End Context Compression at Scale

Computation and Language
Avatar
librarian
4 views
Tight Sample Complexity of Transformers

Tight Sample Complexity of Transformers

Machine Learning
Avatar
librarian
10 views
Rethinking the Divergence Regularization in LLM RL

Rethinking the Divergence Regularization in LLM RL

Machine Learning
Avatar
librarian
3 views
SIGA: Self-Evolving Coding-Agent Adapters for Scientific Simulation

SIGA: Self-Evolving Coding-Agent Adapters for ...

Artificial Intelligence
Avatar
librarian
3 views
Muon Learns More Robust and Transferable Features than Adam

Muon Learns More Robust and Transferable Featu...

Machine Learning
Avatar
Fengzhuo Zhang
10 views
Graph Mamba Operator: A Latent Simulator for Interacting Particle Systems

Graph Mamba Operator: A Latent Simulator for I...

Machine Learning
Avatar
librarian
10 views
In-Context Learning for Latent Space Bayesian Optimization

In-Context Learning for Latent Space Bayesian ...

Machine Learning
Avatar
librarian
10 views
Algorithm for Contextual Queueing Bandits with Rate-Optimal Queue Length Regret

Algorithm for Contextual Queueing Bandits with...

Machine Learning
Avatar
Seoungbin Bae
4 views
Proxy Reward Internalization and Mechanistic Exploitation: A Learned Precursor to Reward Hacking and Its Generalization

Proxy Reward Internalization and Mechanistic E...

Artificial Intelligence
Avatar
Mohammad Beigi
3 views
SearchSwarm: Towards Delegation Intelligence in Agentic LLMs for Long-Horizon Deep Research

SearchSwarm: Towards Delegation Intelligence i...

Artificial Intelligence
Avatar
librarian
3 views
Evaluation Cards: An Interpretive Layer for AI Evaluation Reporting

Evaluation Cards: An Interpretive Layer for AI...

Artificial Intelligence
Avatar
librarian
10 views
From 0-to-1 to 1-to-N: Reproducible Engineering Evidence for MetaAI Recursive Self-Design

From 0-to-1 to 1-to-N: Reproducible Engineerin...

Artificial Intelligence
Avatar
librarian
3 views
Optical Reasoning: Rethinking Images as an Expressive Reasoning Medium Beyond Text

Optical Reasoning: Rethinking Images as an Exp...

Artificial Intelligence
Avatar
Yutong Bian
5 views
Beyond Linear Activation Steering: Invertible Latent Transformations for Controlling LLM Behavior

Beyond Linear Activation Steering: Invertible ...

Machine Learning
Avatar
librarian
5 views
OrderDP: A Theoretically Guaranteed Lossless Dynamic Data Pruning Framework

OrderDP: A Theoretically Guaranteed Lossless D...

Machine Learning
Avatar
librarian
5 views
End-to-End Subgraph Detection with GraphDETR

End-to-End Subgraph Detection with GraphDETR

Machine Learning
Avatar
librarian
20 views
The Post-GCN Decade Revisited: Curvature-Stratified Evaluation of Relational Learning

The Post-GCN Decade Revisited: Curvature-Strat...

Machine Learning
Avatar
Shuo Wang
24 views
Tangram: Unlocking Non-Uniform KV Cache for Efficient Multi-turn LLM Serving

Tangram: Unlocking Non-Uniform KV Cache for Ef...

Machine Learning
Avatar
librarian
29 views
TokenMizer: Graph-Structured Session Memory for Long-Horizon LLM Context Management

TokenMizer: Graph-Structured Session Memory fo...

Artificial Intelligence
Avatar
Shweta Mishra
75 views
Plug-and-Play Guidance for Discrete Diffusion Models via Gradient-Informed Logit Correction

Plug-and-Play Guidance for Discrete Diffusion ...

Machine Learning
Avatar
librarian
25 views
Double Preconditioning (DoPr): Optimization for Test-Time Performance, not Validation Loss

Double Preconditioning (DoPr): Optimization fo...

Machine Learning
Avatar
Thomas Zhanga
26 views
TailLoR: Protecting Principal Components in Parameter-Efficient Continual Learning

TailLoR: Protecting Principal Components in Pa...

Machine Learning
Avatar
librarian
25 views
Regret Minimization with Adaptive Opponents in Repeated Games

Regret Minimization with Adaptive Opponents in...

Machine Learning
Avatar
librarian
25 views
Vortex: Efficient and Programmable Sparse Attention Serving for AI Agents

Vortex: Efficient and Programmable Sparse Atte...

Artificial Intelligence
Avatar
Zhuoming Chen
24 views
Benchmark Everything Everywhere All at Once

Benchmark Everything Everywhere All at Once

Artificial Intelligence
Avatar
librarian
19 views
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement

Goedel-Architect: Streamlining Formal Theorem ...

Artificial Intelligence
Avatar
librarian
18 views
MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery

MLEvolve: A Self-Evolving Framework for Automa...

Artificial Intelligence
Avatar
Xiangchao Yan
18 views
RREDCoT: Segment-Level Reward Redistribution for Reasoning Models

RREDCoT: Segment-Level Reward Redistribution f...

Machine Learning
Avatar
librarian
16 views
Pretraining Recurrent Networks without Recurrence

Pretraining Recurrent Networks without Recurrence

Machine Learning
Avatar
librarian
35 views
Beyond Objective Equivalence: Constraint Injection for LLM-Based Optimization Modeling on Vehicle Routing Problems

Beyond Objective Equivalence: Constraint Injec...

Artificial Intelligence
Avatar
librarian
23 views
R-APS: Compositional Reasoning and In-Context Meta-Learning for Constrained Design via Reflective Adversarial Pareto Search

R-APS: Compositional Reasoning and In-Context ...

Artificial Intelligence
Avatar
librarian
26 views
Load more