Large language models are moving scientific research from text assistance toward agentic workflows, yet biological research requires strong object validation, methodological suitability, reproducibility, and auditability. Prompt engineering, general RAG, or tool use alone cannot reliably produce domain-specific scientific judgment. Here, we present PRAXIS, a verifiable biological research agent framework driven by literature learning and case distillation. PRAXIS converts research experience, failure boundaries, domain rules, and executable procedures into structured long-term memory. By coordinating successful cases, negative cases, rules, and skills, PRAXIS supports problem definition, object validation, method selection, workflow execution, result interpretation, and review feedback across diverse biocomputational tasks. We instantiated PRAXIS as an agent suite for biomedical computing and evaluated it through object validation, case retrieval, memory ablation, public benchmarks, and cross-agent workflows. The results show that case-based learning improves method selection, error suppression, and workflow organization in complex biological research tasks. Rather than replacing s
Standard machine learning pipelines often admit many near-optimal models. These "Rashomon sets" pose a range of challenges and opportunities for uncertainty-aware, robust decision making. They allow users to incorporate domain knowledge and preferences that would otherwise be difficult to specify directly in an objective, and they quantify diversity among valid models for a given training dataset and objective function. However, computation of Rashomon sets, even for simple, interpretable model classes such as sparse decision trees, continues to require immense memory and runtime resources. We present PRAXIS, an algorithm to approximate this Rashomon set with orders of magnitude improvement in runtime and memory usage. We validate that PRAXIS regularly recovers almost all of the full Rashomon set. PRAXIS allows researchers and practitioners to scalably model the Rashomon set for real-world datasets. Code for PRAXIS is available at https://github.com/zakk-h/PRAXIS
Unresolved production cloud incidents cost an average of over $2M per hour. This paper introduces PRAXIS, an orchestrator that manages and deploys an agentic workflow for diagnosing code- and configuration-caused cloud incidents. PRAXIS employs an LLM-driven structured traversal over two types of graph: (1) a service dependency graph (SDG) that captures microservice-level dependencies; and (2) a hammock-block program dependence graph (PDG) that captures code-level dependencies for each microservice. Compared to state-of-the-art ReAct baselines, PRAXIS improves RCA accuracy by up to 6.3x while reducing token consumption by 5.3x. PRAXIS is demonstrated on a set of 30 comprehensive real-world incidents that is being compiled into an RCA benchmark.
This paper lays out the foundations of graded $K$-theory for Leavitt algebras associated with higher-rank graphs, also known as Kumjian-Pask algebras, establishing it as a potential tool for their classification. For a row-finite $k$-graph $Λ$ without sources, we show that there exists a $\mathbb{Z}[\mathbb{Z}^k]$-module isomorphism between the graded zeroth (integral) homology $H_0^{gr}(\mathcal{G}_Λ)$ of the infinite path groupoid $\mathcal{G}_Λ$ and the graded Grothendieck group $K_0^{gr}(KP_\mathsf{k}(Λ))$ of the Kumjian-Pask algebra $KP_\mathsf{k}(Λ)$, which respects the positive cones (i.e., the talented monoids). We demonstrate that the $k$-graph moves of in-splitting and sink deletion defined by Eckhardt et al. (Canad. J. Math. 2022) preserve the graded $K$-theory of associated Kumjian-Pask algebras and produce algebras which are graded Morita equivalent, thus providing evidence that graded $K$-theory may be an effective invariant for classifying certain Kumjian-Pask algebras. We also determine a natural sufficient condition regarding the fullness of the graded Grothendieck group functor. More precisely, for two row-finite $k$-graphs $Λ$ and $Ω$ without sources and with fin
We introduce and study matrix transfers to achieve elementary models for bivariant $K$-theory. They share lots of common properties with Voevodsky's framed correspondences and lead to symmetric matrix motives of algebraic varieties introduced in this paper. Symmetric matrix motives recover $K$-motives and fit in a closed symmetric monoidal triangulated category of symmetric matrix motives constructed in this paper by using methods of enriched motivic homotopy theory.
Using a sample of $448.1 \times 10^6$ $ψ(2S)$ events collected with the BESIII detector, we perform a study of the decay $J/ψ\rightarrow K^+K^-$ via $ψ(2S)\rightarrow π^+π^-J/ψ$. The branching fraction of $J/ψ\rightarrow K^+K^-$ is determined to be $\mathcal{B}_{K^+K^-}=(3.072\pm 0.023({\rm stat.})\pm 0.050({\rm syst.}))\times 10^{-4}$, which is consistent with previous measurements but with significantly improved precision.
In this paper we consider the K-theory of smooth algebraic stacks, establish lambda and gamma operations, and show that the higher K-theory of such stacks is always a pre-lambda-ring, and is a lambda-ring if every coherent sheaf is the quotient of a vector bundle. As a consequence, we are able to define Adams operations and absolute cohomology for smooth algebraic stacks satisfying this hypothesis. We also obtain a comparison of the absolute cohomology with the equivariant higher Chow groups in certain special cases.
Let $\mathscr{B}_n = \{ \pm x_1, \pm x_2, \pm x_3, \cdots, \pm x_{n-1}, x_n \}$ where $n>1$ is fixed, $x_i \in \mathbb{R}^+$, $i = 1, 2, 3, \cdots, n$ and $x_1 < x_2 < x_3 < \cdots < x_n$. Let $φ(\mathscr{B}_n)$ be the set of all non-empty subsets $S = \{u_1, u_2,\cdots, u_t\}$ of $\mathscr{B}_n$ such that $|u_1|<|u_2|<\cdots <|u_{t-1}|<u_t $ where $u_t\in \mathbb{R}^+$. Let $\mathscr{B}_n^+ = \{ x_1, x_2, x_3, \cdots, x_{n-1}, x_n \}$. For a fixed $k$, let $V_1$ be the set of $k$-element subsets of $\mathscr{B}_n^+$, $1 \leq k <n$. $V_2= φ(\mathscr{B}_n)-V_1$. For any $A \in V_2$, let $A^\dagger = \{\lvert x \rvert: x \in A\}$. Define a bipartite graph with parts $V_1$ and $V_2$ and having adjacency as $X \in V_1$ is adjacent to $Y\in V_2$ if and only if $X \subset Y^\dagger$ or $Y^\dagger \subset X$. A graph of this type is called a bipartite Kneser B type-$k$ graph and denoted by $H_B(n,k)$. In this paper, we calculated various graph invariants of $H_B(n,k)$.
The Major Atmospheric Cherenkov Experiment (MACE) is a large size (21m) Imaging Atmospheric Cherenkov Telescope (IACT) installed at an altitude of 4270m above sea level at Hanle, Ladakh in northern India. Here we report the detection of Very High Energy (VHE) gamma-ray emission from Crab Nebula above 80 GeV. We analysed ~15 hours of data collected at low zenith angle between November 2022 and February 2023. The energy spectrum is well described by a log-parabola function with a flux of ~(3.46 +/- 0.26stat) x 10-10 TeV-1 cm-2 s-1, at 400 GeV with spectral index of 2.09 +/- 0.06stat and a curvature parameter of 0.08 +/- 0.07stat. The gamma-rays are detected in an energy range spanning from 80 GeV to ~5 TeV. The energy resolution improves from ~34% at an analysis energy threshold of 80 GeV to ~21% above 1 TeV. The daily light curve and the spectral energy distribution obtained for the Crab Nebula is in agreement with previous measurements, considering statistical and systematic uncertainties.
A search has been performed for the semileptonic decays $D^{0}\to K_{S}^{0} K^{-} e^{+}ν_{e}$, $D^{+}\to K_{S}^{0} K_{S}^{0} e^{+}ν_{e}$ and $D^{+}\to K^{+}K^{-} e^{+}ν_{e}$, using $7.9~\mathrm{fb}^{-1}$ of $e^+e^-$ annihilation data collected at the center-of-mass energy $\sqrt{s}=3.773$ GeV by the BESIII detector operating at the BEPCII collider. No significant signals are observed, and upper limits are set at the 90\% confidence level of $2.13\times10^{-5}$, $1.54\times10^{-5}$ and $2.10\times10^{-5}$ for the branching fractions of $D^{0}\to K_{S}^{0} K^{-} e^{+}ν_{e}$, $D^{+}\to K_{S}^{0} K_{S}^{0} e^{+}ν_{e}$ and $D^{+}\to K^{+}K^{-} e^{+}ν_{e}$, respectively.
Based on 4.5 fb$^{-1}$ data taken at seven center-of-mass energies ranging from 4.600 to 4.699 GeV with the BESIII detector at the BEPCII collider, we measure the branching fractions of $Λ_{c}^{+}\rightarrowΣ^{+}+hadrons$ relative to $Λ_{c}^{+}\rightarrow Σ^+ π^+ π^-$. Combining with the world average branching fraction of $Λ_{c}^{+}\rightarrow Σ^+ π^+ π^-$, their branching fractions are measured to be $(0.377\pm0.042\pm0.018\pm0.021)\%$ for $Λ_{c}^{+}\rightarrowΣ^{+} K^{+} K^{-}$, $(0.200\pm0.023\pm0.010\pm0.011)\%$ for $Λ_{c}^{+}\rightarrowΣ^{+} K^{+} π^{-}$, $(0.414\pm0.080\pm0.029\pm0.023)\%$ for $Λ_{c}^{+}\rightarrowΣ^{+}φ$ and $(0.197\pm0.036\pm0.008\pm0.011)\%$ for $Λ_{c}^{+}\rightarrowΣ^{+}K^{+} K^{-}$(non-$φ$). In all the above results, the first uncertainties are statistical, the second are systematic and the third are from external input of the branching fraction of $Λ_{c}^{+}\rightarrow Σ^+ π^+ π^-$. Since no signal for $Λ_{c}^{+}\rightarrowΣ^{+} K^{+} π^{-}π^{0}$ is observed, the upper limit of its branching fraction is determined to be 0.11\% at the 90$\%$ confidence level.
We generalize a result, on the pro-representability of Milnor $K$-cohomology groups at the identity, that's due to Bloch. In particular, we prove, for $X$ a smooth, proper, and geometrically connected variety defined over an algebraic field extension $k/\mathbb{Q}$, that the functor \[\mathscr{T}_{X}^{i,3}(A)=\ker\left(H^i(X_A,\mathcal{K}_{3,X_A}^M)\rightarrow H^i(X,\mathcal{K}_{3,X}^M)\right),\] defined on Artin local $k$-algebras $(A,\mathfrak{m}_A)$ with $A/\mathfrak{m}_A\cong k$, is pro-representable provided that certain Hodge numbers of $X$ vanish.
We provide a geometric interpretation for the connecting homomorphism in the localization sequence of Hermitian $K$-theory. As an application, we compute the Hermitian $K$-theory of projective bundles and Grassmannians in the regular case. We provide an explicit basis for Hermitian $K$-theory of Grassmannians, which is indexed by even Young diagrams together with another special class of Young diagrams, that we call $\textit{buffalo-check}$ Young diagrams. To achieve this, we develop pushforwards and pullbacks in Hermitian $K$-theory using Grothendieck's residue complexes, and we establish fundamental theorems for those pushforwards and pullbacks, including base change, projection, and excess intersection formulas.
In this paper, we investigate hand gesture classifiers that rely upon the abstracted 'skeletal' data recorded using the RGB-Depth sensor. We focus on 'skeletal' data represented by the body joint coordinates, from the Praxis dataset. The PRAXIS dataset contains recordings of patients with cortical pathologies such as Alzheimer's disease, performing a Praxis test under the direction of a clinician. In this paper, we propose hand gesture classifiers that are more effective with the PRAXIS dataset than previously proposed models. Body joint data offers a compressed form of data that can be analyzed specifically for hand gesture recognition. Using a combination of windowing techniques with deep learning architecture such as a Recurrent Neural Network (RNN), we achieved an overall accuracy of 70.8% using only body joint data. In addition, we investigated a long-short-term-memory (LSTM) to extract and analyze the movement of the joints through time to recognize the hand gestures being performed and achieved a gesture recognition rate of 74.3% and 67.3% for static and dynamic gestures, respectively. The proposed approach contributed to the task of developing an automated, accurate, and in
The $D^+_s\to K^+K^-μ^+ν_μ$ decay is studied based on 7.33 fb$^{-1}$ of $e^+e^-$ collision data collected with the BESIII detector at center-of-mass energies in the range from 4.128 to 4.226 GeV. The absolute branching fraction is measured as ${\mathcal B}(D^+_s\to φμ^+ν_μ) = (2.25\pm 0.09 \pm 0.07) \times10^{-2}$, the most precise measurement to date. Combining with the world average of ${\mathcal B}(D^+_s\to φe^+ν_e)$, the ratio of the branching fractions obtained is$\frac{{\mathcal B}(D^+_s\to φμ^+ν_μ)}{{\mathcal B}(D^+_s\to φe^+ν_e)} = 0.94\pm0.08$, in agreement with lepton universality. By performing a partial wave analysis, the hadronic form factor ratios at $q^{2}=0$ are extracted, finding $r_{V}=\frac{V(0)}{A_{1}(0)}=1.58\pm0.17\pm0.02$ and $r_{2}=\frac{A_{2}(0)}{A_{1}(0)}=0.71\pm0.14\pm0.02$, where the first uncertainties are statistical and the second are systematic. No significant $S$-wave contribution from $f_0(980)\to K^+K^-$ is found. The upper limit $\mathcal{B}(D_s^+\to f_0(980)μ^{+}ν_μ) \cdot{\mathcal B}(f_0(980)\to K^+K^-) < 5.45 \times 10^{-4}$ is set at 90\% confidence level.
In this paper we introduce a new formalism for $K$-theory, called squares $K$-theory. This formalism allows us to simultaneously generalize the usual three-term relation $[B] = [A] + [C]$ for an exact sequence $A \hookrightarrow B \twoheadrightarrow C$ or for a subtractive sequence $A\hookrightarrow B \leftarrow C$, by defining $K_0$ of a squares category to satisfy a four-term relation $[A]+[D]= [C] + [B]$ for a ``good'' square diagram with these corners. Examples that rely on this formalism are $K$-theory of smooth manifolds of a fixed dimension and $K$-theory of (smooth and) complete varieties. Another application we give of this theory is the construction of a derived motivic measure taking value in the $K$-theory of homotopy sheaves.
The branching fractions of the decays $τ^- \to K^- π^+ π^- ν_τ$, $τ^- \to K^- π^0 π^0 ν_τ$ and $τ^- \to \bar{K}^0 π^- π^0ν_τ$ are calculated in the $U(3)\times U(3)$ Nambu--Jona-Lasinio type chiral model. Four intermediate channels are considered: the contact channel and the channels with the intermediate axial vector, vector and pseudoscalar mesons. The additional resonance states $K^* π$ and $K ρ$ are taken into account in all channels. It is shown that the main contributions to the widths of these decays are given by the axial vector channel. In the axial vector channel, the intermediate resonances $K_1(1270)$ and $K_1(1400)$ are taken into account. The obtained results are in satisfactory agreement with the known experimental data.
The $k$-coalescence of two graphs is obtained by merging a $k$-clique of each graph. The $A_α$-matrix of a graph is the convex combination of its degree matrix and adjacency matrix. In this paper, we present some structural properties of a non-regular graph which is obtained from the $k$-coalescence of two graphs. Also, we derive the $A_α$-characteristic polynomial of $k$-coalescence of two graphs and then compute the $A_α$-spectra of $k$-coalescence of two complete graphs. In addition, we estimate the $A_α$-energy of $k$-coalescence of two complete graphs. Furthermore, we obtain some topological indices of vertex coalescence of two graphs, and as an application, we determine some indices of some family of graphs. From these results, we calculate the Wiener index, hyper-Wiener index etc. of the organic compound 1,2-dicyclohexylethane(\ce{C_{14}H_{26}}).
Using data samples with an integrated luminosity of 5.85~fb$^{-1}$ collected at center-of-mass energies from 4.61 to 4.95 GeV with the BESIII detector operating at the BEPCII storage ring, we measure the cross section for the process $e^+e^-\to K^+K^-J/ψ$. A new resonance with a mass of $M = 4708_{-15}^{+17}\pm21$ MeV/$c^{2}$ and a width of $Γ= 126_{-23}^{+27}\pm30$ MeV is observed in the energy-dependent line shape of the $e^+e^-\to K^+K^-J/ψ$ cross section with a significance over $5σ$. The $K^{+}J/ψ$ system is also investigated to search for charged charmoniumlike states, but no significant $Z_{cs}^+$ states are observed. Upper limits on the Born cross sections for $e^+e^-\to K^{-} Z_{cs}(3985)^{+}/K^{-} Z_{cs}(4000)^{+} + c.c.$ with $Z_{cs}(3985)^{\pm}/Z_{cs}(4000)^{\pm}\to K^{\pm} J/ψ$ are reported at 90\% confidence levels. The ratio of branching fractions $\frac{\mathcal{B}(Z_{cs}(3985)^{+}\to K^+ J/ψ)}{\mathcal{B}(Z_{cs}(3985)^{+}\to (\bar{D}^{0}D_s^{*+} + \bar{D}^{*0}D_s^+))}$ is measured to be less than 0.03 at 90\% confidence level.
We present early results from the Ultra-Violet Imaging Telescope (UVIT) onboard the ASTROSAT observatory. We report the discovery of a hot companion associated with one of the blue straggler stars (BSSs) in the old open cluster, NGC188. Using fluxes measured in four filters in UVIT's Far-UV (FUV) channel, and two filters in the near-UV (NUV) channel, we have constructed the spectral energy distribution (SED) of the star WOCS-5885, after combining with flux measurements from GALEX, UIT, UVOT, SPITZER, WISE and several ground-based facilities. The resulting SED spans a wavelength range of 0.15~$μ$m to 7.8~$μ$m. This object is found to be one of the brightest FUV sources in the cluster. An analysis of the SED reveals the presence of two components. The cooler component is found to have a temperature of 6,000$\pm$150~K, confirming that it is a BSS. Assuming it to be a main-sequence star, we estimate its mass to be $\sim$ 1.1 - 1.2M$_\odot$. The hotter component, with an estimated temperature of 17,000$\pm$500~K, has a radius of $\sim$ 0.6R$_\odot$ and L $\sim$ 30L$_\odot$. Bigger and more luminous than a white dwarf, yet cooler than a sub-dwarf, we speculate that it is a post-AGB/HB st