AI
T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework
Researchers have developed a new compiler framework called T-LLM Compiler that uses large language m...
AI
Demand-Driven Vertiport Siting and Discrete-Event Fleet Simulation for On-Demand Urban Air Mobility Network Design
Researchers have developed a framework to design on-demand Urban Air Mobility (UAM) networks that ba...
AI
Does a Tool Result Carry More Authority Than Plain Text? Three Prospective Studies of False-Claim Adoption in a Synthetic Assignment Task with Claude Opus 5
Researchers tested whether using a tool's results in a synthetic assignment task affects a language ...
AI
S2-MoE: Enabling Efficient Self-Speculative Decoding for Mixture-of-Experts on Edge Devices
Researchers have proposed a new framework called S2-MoE to improve the efficiency of large language ...
AI
Gathered, Not Admitted: How Attention Brings a Latent Variable into Verbalizable Form
Researchers have made progress in understanding how language models process info...
AI
LLM-Based Hierarchical Coordinated Control with Continuation-Aware Policy Learning
Researchers have developed a framework for coordinating multiple interacting uni...
AI
SCOPE: Score-Isolated Agentic Optimization for Video World Models
Researchers have developed a framework called SCOPE for improving video world mo...
AI
Andy: A Mathematical Agent for Rigorous Proof and Autonomous Research
Researchers have developed an AI system called Andy that can assist with mathema...