46 stories tagged with #computation, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Computation"
Why the Brain Cannot Be a Computer
This paper presents a novel information-theoretic proof demonstrating that the human brain as currently understood cannot function as a classical digital computer. Through systemat…
New to computational physics research and I am super disturbed about my dependence on AI. please help!
Computational Mean-Field Games on Manifolds
Conventional Mean-field games/control study the behavior of a large number of rational agents moving in the Euclidean spaces. In this work, we explore the mean-field games on Riema…
Occupy Wall Street Co-Founder Built an AI App to Help Activists Seize the Means of Computation
A chatbot with a library of activist literature in your back pocket.…
Beyond the Numbers: How Ada Lovelace Envisioned the Dawn of Symbolic Computation (1833–1834)
In the early 1830s, London was a city defined by the clatter of industrial machinery and the soot of...…
From Norms to Indicators (N2I-RAG): An Agentic Retrieval-Augmented Generation Framework for Legal Indicator Computation
Computing legal indicators from normative texts is a key task in legal monitoring and policy evaluation, but presents significant challenges due to the complexity, scale, and inter…
2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
ASP(Q) extends Answer Set Programming (ASP) with Quantifiers over answer sets. In this paper we focus on the class of ASP(Q) programs with two quantifiers and weak constraints, den…
Tool-Schema Compression Enables Agentic RAG Under Constrained Context Budgets
Agentic RAG systems that equip language models with dozens to hundreds of tool definitions face a critical resource conflict: tool schemas consume the same context window needed fo…
AutoDFT: A Closed-Loop Multi-Agent Framework for Autonomous DFT Calculations
Density functional theory (DFT) serves as the basis for computational discovery in materials science and chemistry, yet each calculation demands extensive human effort: adjusting a…
Fibonacci in C++ Templates
ThriftAttention: Selective Mixed Precision for Long-Context FP4 Attention
Efficient attention algorithms are critical to mitigate the quadratic cost of attention in long-context workloads. Prior work utilises block-scaled quantisation techniques on Black…
ConceptM$^3$oE: Concept-Guided Multimodal Mixture of Experts for Interpretable Computational Pathology
Healthcare models are transitioning from unimodal prediction toward multimodal reasoning over heterogeneous diagnostic inputs. In computational pathology, for complex tumor subtype…
The Deterministic Horizon: Impossibility Results as Design Specifications for Trustworthy AI Systems
Large language models now write software, draft legal documents, and produce clinical notes, yet fundamental limits, from Turing and Arrow to the No Free Lunch theorems, shape what…
The Cognitive Kardashev Scale: Quantifying the Material Envelope of Civilisational Computation
How much thinking can a civilisation do? Kardashev's (1964) typology ranks civilisations by total power: planetary (Type I, ~10^16 W), stellar (Type II, ~10^26 W), galactic (Type I…
A Fine-Tuned BERT Classifier for Personal-Letter Titles in Late-Ming and Early-Qing Collected Works
I present Lepton (Letter Prediction), a fine-tuned BERT classifier that predicts whether a title in a Classical Chinese wenji table of contents is a personal letter or a closely co…
As X, Do Y: How Persona and Task Combine in Instruction-Tuned LLMs
Role prompts of the form As X, do Y admit a clean linear decomposition at one specific site in the residual stream: the prompt-to-answer transition -- the last prompt token togethe…
Positional Failures in Long-Context LLMs: A Blind Spot in Reasoning Benchmarks
Position-controlled evaluation is standard for retrieval tasks such as Needle-in-a-Haystack and RULER, but mainstream reasoning benchmarks do not control positional placement of ta…
Convergence Without Understanding: When Language Models Agree on Representations but Disagree on Reasoning
Large language models trained under diverse objectives and architectures have been shown to develop increasingly similar internal representations, an observation formalized as the …
From the Renaissance to the Quantum Dawn: AI, Computation, and the Next Paradigm Shift
Five hundred years ago, Florentine craftsmen began using linear perspective to represent...…
The Brain vs. Deep Learning Part I: Computational Complexity
This blog post compares deep learning to the brain and derives an estimate of computational power for the brain which is used to predict the singularity.…
Multi-Stream LLMs: How Parallel Computation Will Unblock Your AI Agents
Multi-Stream LLMs: How Parallel Computation Will Unblock Your AI Agents Published: May 22,...…
Parallel LLM Reasoning for Bias-Resilient, Robust Conceptual Abstraction
Large language models (LLMs) have been increasingly used to analyze text. However, they are often plagued with contextual reasoning limitations when analyzing long documents. When …
Long-Context Reasoning Through Proxy-Based Chain-of-Thought Tuning
Recent large language models support inputs of up to 10 million tokens, yet they perform poorly on long-context tasks that require complex reasoning. Such tasks can be solved using…
Do as I Say, Not as I Do: Instruction-Induction Conflict in LLMs
Language models are trained to follow instructions, but they are also powerful pattern completers. What happens when these two objectives conflict? We construct conversations in wh…
Q&A: The path to a PhD in computational science and engineering at MIT
MIT student Emily Williams describes her experience as the first to earn a doctorate via the PhD program in MIT's Center for Computational Science and Engineering.…
Improving Retrieval-Augmented Generation without Taxonomy-based Error Categorization
Retrieval-Augmented Generation (RAG) improves the factual accuracy of large language model (LLM) outputs by grounding generation in external knowledge. Recent agentic RAG systems e…
Symmetry in the Wild: The Role of Equivariance in Neural Fluid Surrogates
Neural surrogates enable orders-of-magnitude acceleration of computational fluid dynamics (CFD) simulations, with the potential to transform engineering and healthcare workflows. N…
Era: From Nature publication to catalyzing Computational Discovery
Passkey Therapeutics Appoints Mandeep Kaur, MD, MS, as Chief Medical Officer to Advance Clinical Validation of Its Computational Genetics-Based Novel Drug Combination Platform - Morningstar
Comprehensive up-to-date news coverage, aggregated from sources all over the world by Google News.…
CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
Formal theorem-proving benchmarks enable mechanically verifiable evaluation of mathematical reasoning in large language models. However, existing benchmarks mainly focus on Olympia…
Computational Challenges in Token Economics: Bridging Economic Theory and AI System Design
Token economics has emerged as a useful lens for understanding resource allocation, value creation, and pricing in large language model systems. While recent work has increasingly …
Should I do a PhD in computational geometry/topology or go into industry? 22, finishing MSc
Unpopular opinion about computational physics and theoretical physics
Fault tolerance estimation in digital circuits with visualised generative networks
We propose a new numerical method to estimate the fault tolerance of failure modes in digital circuit structures with a generative network sampling technique. From a random input o…
Breakeven complexity: A new perspective on neural partial differential equation solvers
Neural surrogate solvers of partial differential equations (PDEs) promise dramatic speedups over numerical methods, especially in scenarios requiring many solves. However, current …
From Feedback Loops to Policy Updates: Reinforcement Fine-Tuning for LLM-Based Alpha Factor Discovery
Modern quantitative trading increasingly relies on systematic models to extract predictive signals from large-scale financial data, where alpha factor discovery plays a central rol…
RoPE Distinguishes Neither Positions Nor Tokens in Long Contexts, Provably
We identify intrinsic limitations of Rotary Positional Embeddings (RoPE) in Transformer-based long-context language models. Our theoretical analysis abstracts away from the specifi…
Process Rewards with Learned Reliability
Process Reward Models (PRMs) provide step-level feedback for reasoning, but current PRMs usually output only a single reward score for each step. Downstream methods must therefore …
Symplectic Neural Operators for Learning Infinite Dimensional Hamiltonian Systems
The modeling and simulation of infinite-dimensional Hamiltonian systems are central problems in mathematical physics and engineering, however they pose significant computational an…
FluidX3D Lands A Big Speed-Up For This OpenCL CFD Software
Released this week was FluidX3D 3.7, the latest feature update to this computational fluid dynamics (CFD) software that is CPU/GPU accelerated by way of OpenCL.…
LLMs as Linguistic Probes: A Graduate Student's Guide to Advanced Syntax, Semantics, and Efficient Fine-Tuning
The intersection of large language models (LLMs) and advanced linguistics has moved beyond...…
Introducing Incremental
I’m pleased to announce the release of Incremental (well commented mli here), a powerful library for building self-adjusting computations, i.e., computations...…
Python One go: Bootstrapped uncertainty quantification given observation matrix
High-Entropy Randomness Research Toolkit. High-Entropy Random Number Generation (HE-RNG). - msuzen/leymosun…
MIT engineers’ virtual violin produces realistic sounds
MIT researchers developed a “computational violin” — the first computer simulation that captures the detailed physics of the instrument and realistically produces the sound of a vi…
Masters in Data Science or Computational Finance?
Mapping molecular markers of physical fitness
The PhenoMol computational model analyzes biomarkers of cellular activity to help predict an individual’s physical fitness level. The model could advance future studies to improve …