Artificial Intelligence

(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
SIGA: Self-Evolving Coding-Agent Adapters for Scientific Simulation

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

Artificial Intelligence
Avatar
librarian
3 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
TokenMizer: Graph-Structured Session Memory for Long-Horizon LLM Context Management

TokenMizer: Graph-Structured Session Memory fo...

Artificial Intelligence
Avatar
Shweta Mishra
75 views
Vortex: Efficient and Programmable Sparse Attention Serving for AI Agents

Vortex: Efficient and Programmable Sparse Atte...

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

Benchmark Everything Everywhere All at Once

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

Goedel-Architect: Streamlining Formal Theorem ...

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

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

Artificial Intelligence
Avatar
Xiangchao Yan
19 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
AutoLab: Can Frontier Models Solve Long-Horizon Auto Research and Engineering Tasks?

AutoLab: Can Frontier Models Solve Long-Horizo...

Artificial Intelligence
Avatar
librarian
26 views
Knowledge Index of Noah's Ark

Knowledge Index of Noah's Ark

Artificial Intelligence
Avatar
librarian
26 views
Entropy Is Not Enough: Unlocking Effective Reinforcement Learning for Visual Reasoning via Vision-Anchored Token Selection

Entropy Is Not Enough: Unlocking Effective Rei...

Artificial Intelligence
Avatar
Senjie Jin
16 views
Reasoning Structure of Large Language Models

Reasoning Structure of Large Language Models

Artificial Intelligence
Avatar
librarian
23 views
Imaginative Perception Tokens Enhance Spatial Reasoning in Multimodal Language Models

Imaginative Perception Tokens Enhance Spatial ...

Artificial Intelligence
Avatar
librarian
27 views
Gender-Dependent Diagnostic Substitution in LLM Medical Triage: Same Symptoms, Unequal Urgency

Gender-Dependent Diagnostic Substitution in LL...

Artificial Intelligence
Avatar
Qi Han Wong
23 views
Diagnosing Knowledge Gaps in LLM Tool Use: An Agentic Benchmark for Novel API Acquisition

Diagnosing Knowledge Gaps in LLM Tool Use: An ...

Artificial Intelligence
Avatar
Jinnuo Liu
27 views
From Answers to States: Verifiable Process-Level Evaluation of Chemical Reasoning in Large Language Models

From Answers to States: Verifiable Process-Lev...

Artificial Intelligence
Avatar
librarian
25 views
MCP-Persona: Benchmarking LLM Agents on Real-World Personal Applications via Environment Simulation

MCP-Persona: Benchmarking LLM Agents on Real-W...

Artificial Intelligence
Avatar
librarian
25 views
Iteris: Agentic Research Loops for Computational Mathematics

Iteris: Agentic Research Loops for Computation...

Artificial Intelligence
Avatar
librarian
29 views
AGENTCL: Toward Rigorous Evaluation of Continual Learning in Language Agents

AGENTCL: Toward Rigorous Evaluation of Continu...

Artificial Intelligence
Avatar
Yiheng Shu
26 views
ClinEnv: An Interactive Multi-Stage Long Horizon EHR Environment for Agents

ClinEnv: An Interactive Multi-Stage Long Horiz...

Artificial Intelligence
Avatar
librarian
26 views
eMoT: evolving Memory-of-Thought via Symbolic Anchoring and Memory Corrosion

eMoT: evolving Memory-of-Thought via Symbolic ...

Artificial Intelligence
Avatar
librarian
14 views
Property Prediction of Stacked Bilayer Materials: A Multimodal Learning Approach

Property Prediction of Stacked Bilayer Materia...

Artificial Intelligence
Avatar
librarian
20 views
Can AI Review Improve Paper Drafting? An Empirical Study on 20 Computer Architecture Submissions

Can AI Review Improve Paper Drafting? An Empir...

Artificial Intelligence
Avatar
Di Wu
20 views
Towards Understanding Modality Interaction in Multimodal Language Models via Partial Information Decomposition

Towards Understanding Modality Interaction in ...

Artificial Intelligence
Avatar
librarian
22 views
Subliminal Learning Is Steering Vector Distillation

Subliminal Learning Is Steering Vector Distill...

Artificial Intelligence
Avatar
librarian
17 views
Physics Is All You Need? A Case Study in Physicist-Supervised AI Development of Scientific Software

Physics Is All You Need? A Case Study in Physi...

Artificial Intelligence
Avatar
librarian
46 views
Load more