Cs
Chat-Driven Optimal Management for Virtual Network Services
Classifying long legal documents using short random chunks
Constructing a Neuro-Symbolic Mathematician from First Principles
Context-aware LLM-based AI Agents for Human-centered Energy Management Systems in Smart Buildings
Coordinated Humanoid Manipulation with Choice Policies
DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information
Dynamic Large Concept Models: Latent Reasoning in an Adaptive Semantic Space
Evolving, Not Training: Zero-Shot Reasoning Segmentation via Evolutionary Prompting
From Building Blocks to Planning: Multi-Step Spatial Reasoning in LLMs with Reinforcement Learning
HaineiFRDM: Explore Diffusion to Restore Defects in Fast-Movement Films
Iterative Deployment Improves Planning Skills in LLMs
Large Empirical Case Study: Go-Explore adapted for AI Red Team Testing
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
LSRE: Latent Semantic Rule Encoding for Real-Time Semantic Risk Detection in Autonomous Driving
mHC: Manifold-Constrained Hyper-Connections
Modeling Language as a Sequence of Thoughts
More Than Bits: Multi-Envelope Double Binary Factorization for Extreme Quantization
Mortar: Evolving Mechanics for Automatic Game Design
