Modal CEGAR-tableaux with RECAR and resolution-based SAT-shortcuts
Modal CEGAR-tableaux theorem prover with SAT-shortcuts shows KSP-based approach outperforms baselines on satisfiable problems.
Search the full wire by company, model, lab, or keyword. Every story we have ever aggregated.
Modal CEGAR-tableaux theorem prover with SAT-shortcuts shows KSP-based approach outperforms baselines on satisfiable problems.
Low-dimensional topology study restricts neural networks to ℝ³ representation space to isolate effects of activation, depth, and width.
Solver for ARC-AGI-2 visual reasoning benchmark using modality-driven search across text/image/code channels with holistic trace judging.
Open-source ASR system and benchmark for Bambara child reading assessment with 55 hours of field-collected speech data.
Muon optimizer avoids slow saddle-to-saddle dynamics in matrix factorization; learns balanced solutions with uniform convergence rates across modes.
Multi-channel Multigrid preconditioner learned via neural networks to solve high-wavenumber Helmholtz equations with phase-space coarsening.
Existing autonomous research agents can support parts of the research process, but most systems still treat research as either an isolated assistant task or a closed workflow. Therefore, autonomous science needs a collaboration infrastructure that coordinates projects, agents…
Existing domain-incremental learning (DIL) strategies call for massive amounts of data to adapt to new domains and suffer from the overfitting problem in the case of data scarcity. This paper puts forward a relatively uncharted problem, namely, few-shot domain incremental…
Tim Cook recently said price increases were "unavoidable" and described the company's pricing as "unsustainable." The 16-inch MacBook Pro saw its price go up by $300. The 11-inch iPad Air went from $599 to $749. Even the HomePod Mini got a $30 bump to $129. Cook squarely placed…
Oddly tiered releases to both OAI and ANT on the same day.
User complaint about unresolved refund and support loop for Anthropic Max subscription.
Reddit user soliciting lawsuit against US administration over AI model access restrictions, referencing First Amendment concerns.
DexCompose framework reuses pretrained dexterous manipulation policies for multi-task control via finger-level action ownership to resolve conflicting demands.
Study shows zero-sum game solvers systematically select different Nash equilibria deterministically based on algorithm choice, not randomness, using tabular games.
Mechanistic study of vision-language model conflict resolution: visual grounding dominates by default; knowledge priors require specific attention heads.
OpenAI launches GPT-5.6 series (Sol, Terra, Luna) with tiered performance/cost; limited preview underway, general availability in weeks.
Less than 24 hours after news broke that OpenAI would stagger its next model release at the request of the Trump administration, that model, GPT-5.6, is here. On Friday, the company unveiled the limited preview of its new GPT 5.6 model suite: Sol, the flagship; Terra, a…
It's been two weeks since Anthropic took its Mythos-class models offline after a Friday evening ultimatum from the Trump administration. The company sprang into action immediately, sending a barrage of executives to Washington, DC. But updates have been suspiciously lacking…
JD Oxygen AIIC: industrial-scale LLM/VLM system for SKU understanding and management across billions of e-commerce items.
Systematic study of domain gap in diffusion-based satellite image super-resolution across Sentinel-2 and PlanetScope.
OpenAI previews GPT-5.6 Sol with enhanced coding, science, and cybersecurity capabilities and advanced safety measures.
DanceOPD uses on-policy distillation to unify text-to-image, local and global editing in flow-matching models by resolving capability conflicts.
RiVER framework enables RL training of LLMs on optimization tasks without ground-truth answers using continuous execution feedback.
Error-Conditioned Neural Solvers use learned correction instead of gradient descent to improve PDE solutions and extrapolation.
Theoretical work on identifiability and sample complexity bounds for learning ODEs from solution data; scientific ML focus, limited to core AI architecture audience.
Framework for persistent embodied agents combining cyber-physical action spaces with autonomous failure recovery in unstructured environments.
Theoretical analysis of GAN training dynamics with structured latent covariance and class-dependent discriminators.
Conceptual framework for analyzing dialogue in human-AI and multi-agent collaborative problem-solving with hierarchical coding scheme.
Sparse autoencoders reveal LLMs isolate time-aware vs. look-ahead-biased features; feature steering improves cross-domain forecasting generalization.
Vision-language-action policy with RL achieves 1st place (online) and 2nd place (offline) in LeHome Challenge 2026 bimanual garment folding task.