News
AI, cybersecurity, machine learning, scraping & programming news.
58 results on this page · clear filters
TART: A Modular Tool for Technique-Aware Audio-to-Tablature Guitar Transcription
Automatic Music Transcription for guitar has long been stuck on the wrong side of the difficulty curve compared to piano. Piano AMT hit high note-level accuracy years ago through CRNN models and large paired datasets, but guitar t...
MindTopo: Can Foundation Models Reason in Topological Space?
Piaget argued that children develop spatial understanding in a fixed sequence: topological relations come first, followed by projective and Euclidean ones. The child first grasps that two points are connected, that one region encl...
Caption-once, Frames-on-Demand: Visual-Need Routing for Budget-Aware Agentic Long Video Understanding
Long video understanding on edge devices runs into a fundamental tradeoff. You can subsample visual tokens and hope the model still catches what matters, or you can convert the video into text captions and lose the fine-grained vi...
From Specs to Apps: Verifying and Monitoring Models of Signal and WhatsApp
The Signal protocol secures daily messages for billions of people across WhatsApp, Signal Desktop, Facebook Messenger, and Google Messages. Years of formal analysis in the computational and Dolev-Yao settings have produced strong...
The Last AI Built by Humans: Toward Genuine Recursive Self-Improvement
Modern AI systems can write code, reason through graduate-level science, and plan multi-step research workflows. But every improvement they undergo still requires humans to decide what to fix, build the resources to fix it, and ju...
BlueSTAR: Tiered Agentic Architecture for Autonomous Cyber Defense
Security analysts are losing the speed war. Average breakout time, from initial access to lateral movement onto a second host, is now 29 minutes, and the fastest observed is 27 seconds. Meanwhile, defenders still rely on human jud...
Model-Aware Schedules Improve Generation via Fiberwise Optimal Transport
Diffusion models and flow-matching models generate images by progressively denoising a noisy sample over a series of timesteps. How that time is allocated across the denoising process, the schedule, has a direct impact on sample q...
Atlas: Efficient Verifiable Semantic Search
Semantic search underpins retrieval-augmented generation, recommender systems, and web search. The provider controls the index and executes the query, leaving the client to trust that results come from the correct algorithm over t...
Generative Late-Interaction Embeddings For Visual Document Retrieval
Late-interaction retrieval has become the dominant paradigm for searching visual documents. Models like ColPali embed every image patch on a page as a separate vector and score queries against them using MaxSim, a per-token maximu...
Thinking with Looped Flows
The ability to solve harder problems by spending more time on computation is one of the most fundamental ideas in both human cognition and computer science. Autoregressive language models achieve this by writing out their reasonin...