7 stories tagged with #derivation, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Derivation"
A Formalization of the Mean-Field Derivation of the Vlasov Equation: AI-Assisted Lean Formalization as a Strategy Game
arXiv:2607.08986v1 Announce Type: new Abstract: We formalize a research result in the Lean 4 proof assistant by having a mathematician direct an AI system, and frame the activity a…
Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs
The do-calculus defines a general system of inference for interventional queries, allowing causal quantities to be transformed through successive applications of its rules. This pr…
What Makes Chain-of-Thought Work at Probe Time? Local Co-occurrence Rather Than Global Derivation
Chain-of-thought (CoT) prompting reliably improves language-model accuracy, but which properties of a rationale text drive the improvement is poorly understood. Prior work has larg…
DeepWeb-Bench: A Deep Research Benchmark Demanding Massive Cross-Source Evidence and Long-Horizon Derivation
Deep research, in which an agent searches the open web, collects evidence, and derives an answer through extended reasoning, is a prominent use case for frontier language models. F…
Package Next.js App as Nix Derivation and deploy as Service on NixOS
With this method you can package any type of Next.js App including Apps w/ SSR, API Routes, Server...…
Show HN: Physics AI – Visualizing physics problems with step-by-step derivations
Physics AI is your online Physics AI solver for step-by-step answers.Instantly solve Physics problems, balance equations, and understand concepts.Free credits, no sign-up required …
Understanding Importance Derivation
Hello, I'm Ganesh. I'm building git-lrc, an AI code reviewer that runs on every commit. It is free,...…