Biology subjects

Vermani, A.

Publications and source records attributed to Vermani, A..

3 recordsLinked to original sources

bioRxiv2026

Interpreting computational mechanism from multi-area neural recordings

Distilling computational mechanisms from neural recordings requires disambiguating intrinsic dynamics from external inputs. Here, we introduce Dynamically Interacting Systems (DynISys), a multi-compartment dynamical-systems model that infers per-area dynamics and structured inter-area communication from multi-area spiking activity. DynISys combines neural ordinary differential equation (ODE) latent dynamics with injective latent-to-neural mappings to achieve expressive and trustworthy dynamical inference. When applied to simultaneous dorsal premotor (PMd) and primary motor (M1) recordings from a continuous reaching task, DynISys accurately reconstructs neuronal responses without inventing spurious latent features. Analyzing the model's dynamics reveals putative mechanisms for motor planning and execution, with PMd-to-M1 inputs positioning a stable fixed point in M1 that encodes execution dynamics for the upcoming movement, subsequently evoked by external (non-PMd) inputs. Finally, multi-session DynISys achieves consistent latents when fit to neural recordings spanning multiple days. In summary, DynISys allows distillation of multi-area recordings into an interpretable account of distributed neural computation.

neuroscience↗

bioRxiv2026

BioSecBench-Function: A Verifiable Benchmark for Reasoning about Biological Function from Experimental Data

Inferring biological function from experimental data is central to understanding emerging pathogens and developing effective countermeasures, yet interpreting these data remains slow and expert-intensive. AI agents could help accelerate this process by reasoning across sequence, structural, and biophysical evidence. We present BioSecBench-Function, a verifiable benchmark for recovering biosecurity-relevant function from real biological data. The benchmark comprises 111 evaluations built from published datasets and graded deterministically against ground truth. We organize evaluations along two dimensions: threat axis (spanning seven biosecurity-relevant question types) and biological question (indicating whether the solution depends primarily on sequence, structure, or biophysical assay data). Across 7,326 runs from twenty-two model-harness configurations, Opus 5 under Claude Code led on endpoint pass rate at 50.3%, and Grok 4.6 under Grok Build led on overall pass rate at 44.1% when refusals counted as failures. Performance varied substantially across both model-harness configurations and task categories. Refusal rates differed sharply by provider, and cost was a poor predictor of accuracy: several configurations exceeded 40% pass rate at low cost. BioSecBench-Function provides a standard for measuring whether agents can be trusted to interpret what a new pathogen or variant does when the next outbreak arrives.

biophysics↗

bioRxiv2026

Fast and Ultra-Capable Protein Design: Advancing the Frontier Through Atomistic SE(3)-Equivariance with Genie 3

Despite the breakneck pace of progress in protein design methodology, frontier problems remain challenging, with leading methods struggling to design high-affinity binders, scaffold multiple functional motifs, or stabilize large multi-domain proteins. Recent research efforts have focused on two areas: improving model reasoning when generating active sites or binding interfaces, and improving concordance between the design process and the in silico oracle used to select promising designs. In addressing the first, the field has shifted towards all-atom models that capture sidechain conformations in atomistic detail by eschewing data-efficient SE(3)-equivariance, mirroring the evolution of AlphaFold2 to AlphaFold3. In addressing the second, recent work has focused on replacing generative models employing diffusion or flow-matching with hallucination approaches that directly optimize the oracle in sequence space; this improves success rates but reduces computational efficiency. Here, we close and surpass the generation-hallucination gap by revisiting SE(3)-equivariance using a branched polymer treatment of protein structures. The resulting diffusion model, Genie 3, achieves state-of-the-art performance on binder design, motif scaffolding, and unconditional generation, while being significantly faster than the best existing methods. We use Genie 3 to design a nanomolar binder of Nipah Glycoprotein G, a tetramer with minimal structural or biophysical characterization, as part of the Adaptyv Bio Nipah Competition, achieving a 12.5% success rate. Taken together, our results present a new frontier in protein design capability and a reexamination of the role of SE(3)-equivariance in molecular modeling.

bioinformatics↗