Developer Tools
B
Showing 421–447 of 447
-
Distilling neural networks into equations to predict planetary instability
-
Hierarchical Skill Evolution for Coding Agent
-
VaLoP: Value Gradient Lookahead and Pullback for Reward-Guided Diffusion
-
Evolve on Graph: Self-Evolving Knowledge Graph Reasoning without Question Annotations
-
KAPPA: Checking the Proofs in Statistics Papers with Lean 4 and Language Model Agents
-
Agentic Algorithm Design: LLMs that Propose, Formalise, and Prove Runtime Bounds for Evolutionary Algorithms in Lean
-
Linear Probes Transfer from Base to Distilled Language Models despite Rotation
-
Distributed Predictive Flocking for a Swarm of Miniature Vibration-Driven Robots in a Confined Arena
-
Infinity Machine: a self-improving AI agent for research
-
High-resolution tactile observation makes hidden racket-control mechanisms learnable
-
Multi-Fidelity Training Reshapes Uncertainty Decomposition in Atomistic Models
-
Taking Japan-Born AI Products to the World: An Interview with Sakana AI’s VP of GTMSakana AI's GTM chief on taking research-born products globalIn 2026 Sakana AI launched Sakana Chat, Marlin, Fugu and Translate, shifting from an R&D firm to delivering products to companies and government agencies. Its GTM team started in earnest in September under VP Hidekazu Kakishima, who previously helped launch new tech at AWS Japan, SORACOM and Skydio. The interview covers why Sakana AI and why now, how to sell research-born products, and what it is like to build a team with few established systems.
-
EXCISE: Locating and Excising Distracting Sentences in Medical Question Answering
-
Balanced Sampling in Stochastic Multi-objective Bandits
-
Explainable Prediction of High-Speed Solar Wind Streams driven by Coronal Holes via Topological Data Analysis
-
Efficient probabilistic weather forecasting at quarter-degree resolution with two-sided transport attention
-
An Algorithmic Account of Few-Shot Concept Induction in Language Models
-
Ranking Function Generation with LLMs for Termination
-
S3AC: Stabilized, Selective, and Scalable Actor-Critic for LLM Reasoning
-
Depth Improves Training-Time Scaling for Difficult Tasks in Deep Linear Networks
-
MATCHA: A Chinese Multi-Disorder Mental Health Dataset with Cross-Lingual Analyses on Social Media
-
Governing Enterprise AI Traffic at Scale: Design and Operation of a Policy-Driven, Multi-Vendor LLM Gateway on Envoy
-
Constraint Learning by Optimizing over Trained Neural Networks: A Pragmatic Tutorial
-
Beyond Words Alone: Disentangling Distributed Evidence for Visually Grounded Cultural Translation
-
GPDPO: Learning from Reward Conflicts via Group Pareto-Dominance Policy Optimization
-
DOJ says presidents should be able to sell secrets on eBayDOJ says presidents should be able to sell secrets on eBayA Freedom of the Press Foundation piece reports that the DOJ argues presidents should be allowed to sell secrets on eBay. The article excerpt was unavailable, so details should be checked in the original post.
-
GPT-6.1 Sol helps CodeRabbit strengthen security across complex codebasesCodeRabbit uses GPT-6.1 Sol to harden security in complex codebasesCodeRabbit uses GPT-6.1 Sol to investigate security risks across complex codebases. Its security agent helps developers review the findings and the proposed fixes.