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
Right in the Right Way: LM Training with Verifiable Rewards and Human Demonstrations

Right in the Right Way: LM Training with Verif...

Machine Learning
Avatar
Mehul Damani
0 views
Optimal Resource Utilization for Autonomous Laboratory Orchestrators

Optimal Resource Utilization for Autonomous La...

Artificial Intelligence
Avatar
Austin McDannald
1 view
Agentic generation of verifiable rules for deterministic, self-expanding reaction classification

Agentic generation of verifiable rules for det...

Artificial Intelligence
Avatar
librarian
1 view
Theoria: Rewrite-Acceptability Verification over Informal Reasoning States

Theoria: Rewrite-Acceptability Verification ov...

Artificial Intelligence
Avatar
librarian
1 view
AutoMem: Automated Learning of Memory as a Cognitive Skill

AutoMem: Automated Learning of Memory as a Cog...

Artificial Intelligence
Avatar
librarian
1 view
TiRex-2: Generalizing TiRex to Multivariate Data and Streaming

TiRex-2: Generalizing TiRex to Multivariate Da...

Machine Learning
Avatar
librarian
1 view
Language-Critique Imitation Learning from Suboptimal Demonstrations

Language-Critique Imitation Learning from Subo...

Machine Learning
Avatar
librarian
1 view
QuasiMoTTo: Quasi-Monte Carlo Test-Time Scaling

QuasiMoTTo: Quasi-Monte Carlo Test-Time Scaling

Machine Learning
Avatar
librarian
1 view
Neural Certificate Pricing for Combinatorial Optimization Problems

Neural Certificate Pricing for Combinatorial O...

Machine Learning
Avatar
librarian
1 view
Is One Layer Enough? Training A Single Transformer Layer Can Match Full-Parameter RL Training

Is One Layer Enough? Training A Single Transfo...

Machine Learning
Avatar
Zijian Zhang
1 view
Self-Evolving Agents with Anytime-Valid Certificates

Self-Evolving Agents with Anytime-Valid Certif...

Artificial Intelligence
Avatar
librarian
1 view
Graph-Native Reinforcement Learning Enables Traceable Scientific Hypothesis Generation through Conceptual Recombination

Graph-Native Reinforcement Learning Enables Tr...

Artificial Intelligence
Avatar
librarian
1 view
Reinforcement Learning with Metacognitive Feedback Elicits Faithful Uncertainty Expression in LLMs

Reinforcement Learning with Metacognitive Feed...

Computation and Language
Avatar
librarian
4 views
Evo-PI: Aligning Medical Reasoning via Evolving Principle-Guided Supervision

Evo-PI: Aligning Medical Reasoning via Evolvin...

Artificial Intelligence
Avatar
Xianda Zheng
3 views
Signed-Permutation Coordinate Transport for RMSNorm Transformers

Signed-Permutation Coordinate Transport for RM...

Machine Learning
Avatar
librarian
6 views
A Self-Evolving Agentic System for Automated Generation and Execution of Biological Protocols

A Self-Evolving Agentic System for Automated G...

Artificial Intelligence
Avatar
librarian
5 views
Bridging the Gap Between Latent and Explicit Reasoning with Looped Transformers

Bridging the Gap Between Latent and Explicit R...

Machine Learning
Avatar
librarian
5 views
SemRF: A Semantic Reference Frame for Residual-Stream Dynamics in Language Models

SemRF: A Semantic Reference Frame for Residual...

Machine Learning
Avatar
librarian
6 views
QVal: Cheaply Evaluating Dense Supervision Signals for Long-Horizon LLM Agents

QVal: Cheaply Evaluating Dense Supervision Sig...

Machine Learning
Avatar
Sergio Hernández-Gutiérrez
14 views
Harnessing Textual Refusal Directions for Multimodal Safety

Harnessing Textual Refusal Directions for Mult...

Artificial Intelligence
Avatar
librarian
7 views
An Agentic AI Framework to Accelerate Scientific Discovery in Plant Phenotyping

An Agentic AI Framework to Accelerate Scientif...

Artificial Intelligence
Avatar
Renan Souza
4 views
RAISE: LLM-based Automated Heuristic Design with Robust Adversary Instance Search

RAISE: LLM-based Automated Heuristic Design wi...

Artificial Intelligence
Avatar
librarian
5 views
TreeAgent: A Generalizable Multi-Agent Framework for Automated Bias Labeling in Forestry via Compiled Expert Rules and Vision-Language Models

TreeAgent: A Generalizable Multi-Agent Framewo...

Artificial Intelligence
Avatar
librarian
5 views
AxDafny: Agentic Verified Code Generation in Dafny

AxDafny: Agentic Verified Code Generation in Dafny

Artificial Intelligence
Avatar
librarian
13 views
Calibration, Not Compilation: Detecting and Repairing Misspecified Probabilistic Programs Written by Language Models

Calibration, Not Compilation: Detecting and Re...

Machine Learning
Avatar
Jian Xu
5 views
TabPATE: Differentially Private Tabular In-Context Learning Without Public Data

TabPATE: Differentially Private Tabular In-Con...

Machine Learning
Avatar
Dariush Wahdany
5 views
Evil Spectra: How Optimisers can Amplify or Suppress Emergent Misalignment

Evil Spectra: How Optimisers can Amplify or Su...

Machine Learning
Avatar
Jason Brown
5 views
Improving Certified Robustness via Adversarial Distillation

Improving Certified Robustness via Adversarial...

Machine Learning
Avatar
librarian
5 views
The FIL Hypothesis: Inductive Biases Help with Kernel Engineering

The FIL Hypothesis: Inductive Biases Help with...

Artificial Intelligence
Avatar
librarian
5 views
Whose Side Is Your Agent On? Multi-Party Principal Loyalty in LLM Agents

Whose Side Is Your Agent On? Multi-Party Princ...

Artificial Intelligence
Avatar
librarian
6 views
The Fundamental Limits of Valid Transport Map Estimation

The Fundamental Limits of Valid Transport Map ...

Machine Learning
Avatar
librarian
7 views
Linguistic Firewall: Geometry as Defense in Multi-Agent Systems Routing

Linguistic Firewall: Geometry as Defense in Mu...

Artificial Intelligence
Avatar
Dvir Alsheich
7 views
Load more