Solving VeriContest with a Lean-Backed Rust Verifier
Research
Research News
New papers, breakthroughs and academic AI research
Language Model Fingerprinting Requires Rethinking Watermark Teachers
Research
StagQ: Constraint-Driven Multi-Precision Weight Quantization for LLMs
Research
Risk-Calibrated Proposal Transport for Finite-Particle Diffusion Steering
Research
A study on human-agent teaming through spoken interaction: the impact of human individual traits and agent characteristics
Research
Agent Reliability Profiles in Financial Services
Research
Investigating Query-Insensitive Behavior in Spatio-Temporal Video Grounding
Research
FlexCast: Adaptive Weather Forecasting from Arbitrary Field Sets
Research
Backdooring Sparse Autoencoders
Research
Do Neural Networks Learn Structure-Preserving Maps? A Case Study in Latent-to-Hilbert Embeddings
Research
Attention Tax, Handoff Tax: A Stylised Model of When Multi-Agent LLM Systems Help
Research
Attention-Based Surface Representation Learning for Robot State Prediction and Open-Ended Surface Classification
Research