News
AI, cybersecurity, machine learning, scraping & programming news.
214 results on this page · clear filters
Lean Graph Search for Formal Theorem Proving
Formal theorem proving sits at the intersection of logic, mathematics, and machine learning. In systems like Lean 4, provers must construct machine-checkable proofs by drawing on large formalized libraries of mathematical results....
Designing Transformers for Continuous Diffusion Language Models
Continuous diffusion language models (CDLMs) offer an alternative approach to parallel language generation; however, most existing studies directly use transformer architectures from either causal large language models (LLMs) or D...
KnowGPO: Knowledge-Grouped Policy Optimization for Search Agents
Deep search agents solve knowledge-intensive tasks through long-horizon multi-turn interactions. Assigning credit to individual search decisions is fundamentally difficult. Outcome-based reinforcement learning provides only a sing...
Training Reasoning Models to Generate Diverse Scientific Ideas
One of the first steps of a research pipeline is generating ideas. Large Language Models LLMs are increasingly used to automate this step, but most of this work optimizes the quality of individual ideas while overlooking diversity...
AVC-Reward: Event-Centric Audio-Video Consistency Evaluation
Joint audio-video generation models can produce scenes with multi-event composition, multi-layer audio mixture, and asymmetric cross-modal relations. However, existing evaluation protocols largely reuse metrics from earlier simple...
Twice Upon a Time: Complementary Representations for Time-Series Reasoning
The Problem With Single-View Time-Series Language Models Time Series Language Models (TSLMs) promise to bring the reasoning power of large language models to temporal data. They can answer questions, forecast future behavior, and...
Learning to Steer LLM Agents and Multi-Agent Systems
Large language model agents and multi-agent systems increasingly tackle complex tasks through long-horizon tool use and inter-agent collaboration. As execution unfolds, these systems are prone to deviating from the overall goal, a...
Linus Torvalds's first LLM-assisted patch series
Linus Torvalds posted his first LLM-assisted patch series to the Linux kernel mailing list. The series comprises ten patches that enhance folio lookup by identifying when folios are "hot" and applying an RCU (Read-Copy-Update) del...
Why do LLM pelicans look like this?
Frontier AI models remain distant from human designers on design creativity. A new benchmark called Design Creativity Bench evaluates AI models' creativity on UI design tasks. Despite rapid advances in their ability to generate fu...
ChunkAct: Action Chunking for Agentic Robotics
Agentic robotics places a large language model (LLM) agent in the robot control loop, where it composes perception, motion, and vision-language-action (VLA) tools under the guidance of a memory and thereby generalizes to new tasks...