arXiv subjects

Aman Kumar

Publications and source records attributed to Aman Kumar.

At least 19 recordsLinked to original sources

arXiv2026

FiMI Banking: A Sovereign Model for Indian Retail Banking

Banks need conversational systems that can answer product questions, assist customers with account-related requests, and operate safely within strict operational and regulatory constraints. General-purpose language models do not reliably meet these requirements. They fall short when a task requires grounded information, correct tool use, or cautious handling of bank-specific sensitive situations. We introduce FiMI Banking, a controlled Indian retail-banking setting. We build it from vetted banking documents, structured ground truth, synthetic customer backgrounds, and banking tools. We evaluate two post-training approaches: preference optimization for response-level behavior, and reinforcement learning with verifiable rewards for multi-turn tool-use tasks. Preference optimization improves safe behavior substantially: out-of-scope refusal rises from 52% to 80%. Reinforcement learning improves edge-case performance from 0.509 to 0.718 and order-sensitive task performance from 0.590 to 0.679, while using 29% fewer generated tokens. These results show that preference optimization and verifiable-reward reinforcement learning address complementary requirements for reliable banking agents.

cs.AI↗

arXiv2026

What AstroPT knows about galaxies, and what that can teach us about LLMs

Interpretability research increasingly asks when concepts emerge during training and whether linear probes recover real structure, but in language models these claims are hard to validate because language offers little ground-truth ordering of concepts or relationships among them. We propose the use of astronomical ground truth through AstroPT, a transformer trained on millions of galaxy images, as a calibration testbed. AstroPT is an LLM-like model trained within a domain where the difficulty ordering of concepts and the relations among them are known in advance. Probing frozen representations across checkpoints, layers, model sizes, and objective choices, we find that galaxy properties emerge in a fixed order that tracks their known difficulty---quantities written almost directly into the pixels (band magnitude) become decodable early in training and shallow in the network, while multiband/spectra based and inferred quantities (such as redshift and specific star formation rate) emerge later and deeper. This order is invariant to our tested training objectives, and scales in magnitude but not in sequence with capacity. Our linear probe directions further recover the known physical structure among galaxy properties. Our findings suggest that astronomy offers a controlled sandbox for calibrating mechanistic interpretability methods we otherwise apply to LLMs blind.

cs.LG↗

arXiv2026

Ascorbic acid mitigates oxidative structural degradation in bovine spermatozoa: a label-free quantitative phase microscopy study

Oxidative stress is a key factor in low fertility outcomes during assisted reproduction technology (ART) and contributes to poor sperm quality. Conventional assessment relies on bright-field microscopy, which lacks the quantitative sensitivity to resolve subcellular structural and biophysical changes without exogenous contrast agents, a requirement that can introduce cytotoxic effects and compromise cell viability. This study uses QPM as a label-free, high-throughput method to demonstrate how ascorbic acid reduces the impact of oxidative structural degradation in Sahiwal bovine spermatozoa. To illustrate this pathology, severe oxidative stress was experimentally induced using hydrogen peroxide (H2O2), and two doses of ascorbic acid (1 mg/ml and 8 mg/ml) were tested to evaluate dose-dependent antioxidant recovery in structurally damaged sperm. QPM was used to quantify structural changes in key biophysical parameters, including dry mass, optical thickness, volume, surface area, sphericity, and surface area-to-volume ratio, as well as intracellular texture parameters. Under acute oxidative stress, bovine spermatozoa exhibited significant reductions in optical thickness and dry mass, alongside measurable changes in intracellular structural organization, collectively indicative of oxidative stress-induced morphological degradation. Co-treatment with ascorbic acid resulted in partial, dose-dependent structural preservation, with the 8 mg/ml formulation demonstrating statistically significant attenuation of these structural changes compared to the 1 mg/ml treatment group. These findings suggest that QPM-derived biophysical parameters may serve as promising, label-free structural indicators for characterizing oxidative damage in bovine spermatozoa. Future studies should incorporate functional validation to determine whether this structural preservation translates to improved outcomes in ART.

physics.optics↗

arXiv2026

Diagnosing Fine-Grained Inconsistency Classification in Financial Disclosure Text

Financial disclosures may contain numerical, temporal, referential, factual, and policy inconsistencies that require different evidence and reasoning to diagnose. We study \emph{fine-grained inconsistency classification}: given a passage known to contain a conflict, the goal is to identify its type among 11 categories. Using a fixed snapshot of the synthetic SBID-FD benchmark, we compare frozen and fine-tuned encoders, evidence-augmented classifiers, prompted large language models, and LoRA-adapted generative models under a shared evaluation protocol. Task-specific adaptation yields large improvements over frozen representations, and a fine-tuned 300M encoder performs competitively with substantially larger prompted and adapted models. We further study whether localizing the conflicting claims improves classification through matched predicted-span, reference-span, and distractor-span conditions. The results show that automatically extracted evidence provides additional signal but recovers only part of the benefit obtained from reference spans. Per-class and confusion analyses further reveal that some inconsistency types are especially sensitive to localization quality, whereas others remain difficult even when the relevant evidence is supplied. These findings identify evidence localization and fine-grained type discrimination as distinct challenges and show that compact supervised encoders are strong baselines for this task.

cs.CL↗

arXiv2026

Ranking Companion: A Visual Analytics Approach to Item-Based Ranking with Hybrid Item Selection

Personalizing item ranking creation is a challenging task, especially when users lack knowledge of data attributes or the ability to express and formalize their attribute preferences. Item-based ranking creation is an approach allowing users to directly externalize preferences through known-item judgments rather than attribute-based scoring. However, a core challenge of item-based ranking is identifying and selecting representative candidate items for externalizing preferences. Existing approaches rely on singular item-selection methods, limiting flexibility and user control. To address this challenge, we present Ranking Companion, a visual analytics approach for item-based ranking that combines model-driven active learning with human-driven item-selection methods. By drawing from six complementary item-selection methods, users can externalize listwise preferences based on selected candidate items, while an iterative machine learning process with a ranking model calculates ranking results, presented to users alongside explanations for interpretation. We evaluated Ranking Companion in a formative user study with 10 participants, in which participants used each item-selection method across three iterations, revealing tradeoffs in perceived ranking quality across accuracy, diversity, novelty, transparency, control, and satisfaction. Ranking Companion contributes a unified interactive item selection space and provides preliminary empirical guidance toward the hybrid use of multiple complementary item-selection methods in personalized item-based ranking creation.

cs.HC↗

arXiv2026

GRACE-RAG: Governed Retrieval Architecture for Canonical Evidence Synthesis, Enabling Lightweight Deployment in Closed-Domain Institutional Settings

Retrieval-Augmented Generation (RAG) systems are widely used in institutional question answering settings where responses must be grounded in authoritative documentation (Gao et al., 2023). In entity-dense domains where relevant information is distributed across heterogeneous documents, vector-only retrieval often produces fragmented evidence and increases dependence on inference-time reasoning (Zhao et al., 2024). This paper introduces GRACE-RAG, a retrieval-governed, graph-augmented RAG architecture that externalizes structural reasoning from the generative stage to a structured retrieval layer, resolving structural ambiguity offline, enabling deployment on self-hosted lightweight models calibrated to closed-domain institutional vocabulary. Experiments across three model capacities: Mistral 24B, GPT OSS 120B, and Gemini 2.5 Flash show consistent improvements in completeness, depth, and anticipatory coverage, with overall quality gains of up to 20% under mid-scale models, indicating that retrieval architecture governs structural quality over model scale, reducing computational and latency footprint without dependence on proprietary systems.

cs.IR↗

arXiv2026

Knowledge Graphs, the Missing Link in Agentic AI-based Formal Verification

Recent advances in Large Language Models (LLMs) have enabled workflows that generate SystemVerilog Assertions (SVAs) from natural-language specifications, with the potential to accelerate Formal Verification (FV). However, high-quality assertion synthesis remains challenging because specifications are often ambiguous or incomplete and critical micro-architectural details reside in the Register Transfer Level (RTL). Many existing approaches treat the specification and RTL as loosely structured text, which weakens specification-to-RTL grounding and leads to semantic mismatches and frequent syntax failures during formal parsing and elaboration. This work addresses these limitations with a verification-centric Knowledge Graph (KG) constructed from structured Intermediate Representations (IRs) extracted from the specification, RTL, and formal-tool feedback, including syntax diagnostics, Counterexamples (CEXs), and coverage reports. The KG links requirements, design hierarchy, signals, assumptions, and properties to provide traceable, design-grounded context for generation. A multi-agent workflow queries and updates this KG to generate SVAs and to drive three refinement loops: syntax repair guided by tool diagnostics, CEX-guided correction using trace links, and coverage-directed property augmentation. Evaluation across seven benchmark designs indicates that KG-based context retrieval improves specification-to-RTL grounding and consistently produces compilable SVAs with low syntax-repair overhead. The approach achieves formal coverage ranging from 78.5% to 99.4%, though convergence exhibits design dependence with complex temporal and arithmetic reasoning remaining challenging for current LLM capabilities.

cs.AI↗

arXiv2026

Melting temperature shifts from quantum fluctuations in generalized Wigner crystals

It is generally believed that quantum fluctuations collaborate with thermal fluctuations, effectively reducing transition temperatures (e.g. for melting of charge order). We show that this is not always the case and that the interplay between quantum and thermal fluctuations can be competitive. We find excellent motivation for addressing this thanks to the discovery of correlated insulating "generalized Wigner crystal" (GWC) states in hetero-bilayer transition metal dichalcogenide (WS$_2$/WSe$_2$) moir\'e systems [Y. Xu, et al., Nature 587, 214-218 (2020)]. We account for the impact of quantum effects on the melting temperature of GWCs, carrying out finite temperature Lanczos calculations on an extended Hubbard model on the triangular lattice (both with a double-gate screened potential, and the nearest neighbor model) for multiple electron densities. We show that quantum effects capture the shift relative to the classical estimates, which in some cases are more than 50 percent off from the experimental values. Then building on these numerical findings, we provide a qualitative picture that clarifies that while quantum melting of GWC (by increasing the bandwidth) naturally softens the ground state order parameter, it does not always decrease the melting temperature; conversely it can increase it. To do so we employ a finite temperature perturbation theory, treating the kinetic energy perturbatively on top of a classical Wigner crystal. Our predictions should be observable in future experiments where the bandwidth can be tuned.

cond-mat.str-el↗

arXiv2026

Agentic AI-based Coverage Closure for Formal Verification

Coverage closure is a critical requirement in Integrated Chip (IC) development process and key metric for verification sign-off. However, traditional exhaustive approaches often fail to achieve full coverage within project timelines. This study presents an agentic AI-driven workflow that utilizes Large Language Model (LLM)-enabled Generative AI (GenAI) to automate coverage analysis for formal verification, identify coverage gaps, and generate the required formal properties. The framework accelerates verification efficiency by systematically addressing coverage holes. Benchmarking open-source and internal designs reveals a measurable increase in coverage metrics, with improvements correlated to the complexity of the design. Comparative analysis validates the effectiveness of this approach. These results highlight the potential of agentic AI-based techniques to improve formal verification productivity and support comprehensive coverage closure.

cs.AI↗

arXiv2026

Saarthi for AGI: Towards Domain-Specific General Intelligence for Formal Verification

Saarthi is an agentic AI framework that uses multi-agent collaboration to perform end-to-end formal verification. Even though the framework provides a complete flow from specification to coverage closure, with around 40% efficacy, there are several challenges that need to be addressed to make it more robust and reliable. Artificial General Intelligence (AGI) is still a distant goal, and current Large Language Model (LLM)-based agents are prone to hallucinations and making mistakes, especially when dealing with complex tasks such as formal verification. However, with the right enhancements and improvements, we believe that Saarthi can be a significant step towards achieving domain-specific general intelligence for formal verification. Especially for problems that require Short Term, Short Context (STSC) capabilities, such as formal verification, Saarthi can be a powerful tool to assist verification engineers in their work. In this paper, we present two key enhancements to the Saarthi framework: (1) a structured rulebook and specification grammar to improve the accuracy and controllability of SystemVerilog Assertion (SVA) generation, and (2) integration of advanced Retrieval Augmented Generation (RAG) techniques, such as GraphRAG, to provide agents with access to technical knowledge and best practices for iterative refinement and improvement of outputs. We also benchmark these enhancements for the overall Saarthi framework using challenging test cases from NVIDIA's CVDP benchmark targeting formal verification. Our benchmark results stand out with a 70% improvement in the accuracy of generated assertions, and a 50% reduction in the number of iterations required to achieve coverage closure.

cs.AI↗

arXiv2026

ZTF Monitoring of $\gamma-$ray emitting Narrow Line Seyfert 1 Galaxies

The $\gamma$-ray-emitting narrow-line Seyfert-I ($\gamma$-NLSy1) are among the most interesting systems for studying disk-jet coupling. The soft X-ray properties of these systems suggest the presence of a disc component, which peaks in the optical/UV regime, in addition to the active jet. In this work, we investigate the optical emission from $\gamma$-NLSy1 using long-term Zwicky Transient Facility (ZTF) observations and discussed in the context of blazars. We have reported the long-term flux and color variability in the g- and r-bands. The fractional variability ($F_{\rm var}$) goes as high as 72\%, with a mean value of 23\%, while the amplitude of variability ($\psi$) values range from 0.24 to 3.20, which is consistent with the long-term Swift-UVOT variability studies. The color-magnitude diagrams exhibit an RWB or BWB trend similar to that of blazars. The $t_{\rm var}$ suggests an emitting region size of $10^{15-17}$ cm, aligned with emissions coming from the inner accretion disk or base of the jet. The PSD analysis using both DRW and CARMA modeling exhibits a characteristic break timescale of a few days to hundreds of days, which is likely linked to fundamental physical timescales in the system, such as thermal or viscous timescales in the accretion disk or timescales for acceleration and energy dissipation in the jet. The existence of these timescales acts as another signature of the disc-jet connection. These time scales are correlated with black hole mass, and the relation is consistent with previous studies.

astro-ph.HE↗

arXiv2026

FiMI: A Domain-Specific Language Model for Indian Finance Ecosystem

We present FiMI (Finance Model for India), a domain-specialized financial language model developed by National Payments Corporation of India (NPCI) for Indian digital payment systems. We develop two model variants: FiMI Base and FiMI Instruct. FiMI adapts the Mistral Small 24B architecture through a multi-stage training pipeline, beginning with continuous pre-training on 68 Billion tokens of curated financial, multilingual (English, Hindi, Hinglish), and synthetic data. This is followed by instruction fine-tuning and domain-specific supervised fine-tuning focused on multi-turn, tool-driven conversations that model real-world workflows, such as transaction disputes and mandate lifecycle management. Evaluations reveal that FiMI Base achieves a 20\% improvement over the Mistral Small 24B Base model on finance reasoning benchmark, while FiMI Instruct outperforms the Mistral Small 24B Instruct model by 87\% on domain-specific tool-calling. Moreover, FiMI achieves these significant domain gains while maintaining comparable performance to models of similar size on general benchmarks.

cs.AI↗

arXiv2026

Neuro-Parametric Spectral Classification of Black Hole and Neutron Star X-ray Binary Systems

We perform the classification of black hole and neutron star X-ray binary systems using deep neural networks applied to archival RXTE X-ray spectral data. We first construct two neural network models: one trained using only spectral flux values and another trained using both fluxes and their associated errors. Both models achieve high classification accuracies of ~90-94 %. To gain physical interpretability of these networks, we fit all spectra with a simple phenomenological model consisting of a thermal disk component and a power-law. From this analysis, we identify the blackbody temperature, power-law index, the ratio of blackbody to power-law flux, the reduced $\chi^2$, and the variance of the data as key parameters that likely contribute to the classification. We validate this inference by designing an additional neural network trained exclusively on this reduced parameter set, without using the spectral data directly. This parameter-based model achieves a classification accuracy comparable to that of the spectral models. Our results show that deep neural networks can not only classify compact objects in X-ray binaries with high accuracy but can also be interpreted in terms of physically meaningful spectral parameters derived from conventional X-ray spectral analysis. This framework offers a promising, mission-agnostic approach for compact object classification in current and future X-ray surveys.

astro-ph.HE↗

arXiv2025

Secure Audio Embedding in Images using Nature-Inspired Optimization

In todays digital world, protecting sensitive data is very essential. Steganography hides the existence of secret data instead of its content, providing better security for multimedia communication. This paper proposes a new technique for hiding audio files inside images using the Least Significant Bit (LSB) method optimized by the Harris Hawks Optimization (HHO) algorithm. HHO is a nature-inspired metaheuristic that imitates the hunting behavior of Harris hawks to find optimal pixel positions for embedding data. The proposed method is evaluated using Peak Signal-to-Noise Ratio (PSNR), Structural Similarity Index (SSIM), and Mean Square Error (MSE). Experimental results show that HHO achieves better image quality, robustness, and embedding capacity compared to existing methods.

cs.CR↗

arXiv2025

Building Domain-Specific Small Language Models via Guided Data Generation

Large Language Models (LLMs) have shown remarkable success in supporting a wide range of knowledge-intensive tasks. In specialized domains, there is growing interest in leveraging LLMs to assist subject matter experts with domain-specific challenges. However, deploying LLMs as SaaS solutions raises data privacy concerns, while many open-source models demand significant computational resources for effective domain adaptation and deployment. A promising alternative is to develop smaller, domain-specialized LLMs, though this approach is often constrained by the lack of high-quality domain-specific training data. In this work, we address these limitations by presenting a cost-efficient and scalable training pipeline that combines guided synthetic data generation from a small seed corpus with bottom-up domain data curation. Our pipeline integrates Domain-Adaptive Pretraining (DAPT), Domain-specific Supervised Fine-tuning (DSFT), and Direct Preference Optimization (DPO) to train effective small-scale models for specialized use cases. We demonstrate this approach through DiagnosticSLM, a 3B-parameter domain-specific model tailored for fault diagnosis, root cause analysis, and repair recommendation in industrial settings. To evaluate model performance, we introduce four domain-specific benchmarks: multiple-choice questions (DiagnosticMCQ), question answering (DiagnosticQA), sentence completion (DiagnosticComp), and summarization (DiagnosticSum). DiagnosticSLM achieves up to 25% accuracy improvement over open-source models of comparable or larger size (2B-9B) on the MCQ task, while also outperforming or matching them in other tasks, demonstrating effective domain-specific reasoning and generalization capabilities.

cs.CL↗

arXiv2025

Type Iax supernovae as a source of iron-rich silicate dust

We model the formation of dust in the ejecta of Type Iax supernovae (SNe), which is a low-luminosity subclass of Type Ia SNe. A non-equilibrium chemical kinetic approach is adopted to trace the synthesis of molecules, molecular clusters, and dust grains in the ejecta of thermonuclear SNe. We find that Type Iax SNe provide conditions conducive to the formation of several O-rich dust species in the ejecta. Particularly, iron-rich silicates of chemical type FeSiO3, Fe2SiO4, and MgFeSiO4 are found to form in abundance, suggesting that the ejecta of low-luminosity thermonuclear SNe can be a site where a large fraction of iron is locked up in dust, unlike other stellar sources. The final mass of dust formed in the ejecta ranges between 10^{-5} and 10^{-4} Msun, where most of the dust forms between 1000 and 2000 days post-explosion. Apart from Fe-rich silicates, Mg-silicates, and silicon carbide are also formed in the ejecta of Type Iax SNe. When compared to the dust budget of typical Type Ia SNe, we find that the expected dust-to-ejecta mass ratio is 1 or 2 orders of magnitude larger in Type Iax SNe. We conclude that the ejecta of typical Type Ia SNe form a negligible amount of dust, in agreement with observation, while the low-luminosity subclass Type Iax SNe are potential producers of iron-rich silicates.

astro-ph.SR↗

arXiv2025

Haerter-Shastry kinetic magnetism and metallicity in the triangular Hubbard model

The fermionic Hubbard model, when combined with the ingredient of frustration, associated with the breaking of particle-hole symmetry, harbors a rich phase diagram. Aspects of theoretical findings associated with the nature of magnetism and metallicity, in a diverse set of parameter regimes, are now being actively investigated in triangular Hubbard cold atom and solid-state (moir\'e) based emulators. Building on the theoretical work of Haerter and Shastry [Phys. Rev. Lett. 95,087202 (2005)], we explore the impact of kinetically frustrated magnetism, a phenomenon where antiferromagnetic order emerges without any underlying magnetic interactions, at finite hole density. We numerically study the infinite-$U$ triangular Hubbard model using the density matrix renormalization group algorithm and estimate the extent of stability of the kinetically induced $120^{\circ}$ antiferromagnetic state to hole doping. Beyond the Haerter-Shastry regime, we find an intermediate phase with multimer (involving multiple correlated spins) stripes that eventually gives way to a paramagnet. We also find evidence of gapless charge excitations (metallicity) throughout the phase diagram for finite hole density. We discuss the implications at large, but finite and realistic values of $U/t$, and investigate whether kinetic magnetism and superexchange collaborate or compete.

cond-mat.str-el↗

arXiv2025

Identifying chiral topological order in microscopic spin models by modular commutator

The chiral central charge $c_-$ is a key topological invariant of the edge characterizing the bulk two-dimensional chiral topological order, but its direct evaluation in microscopic spin models has long been a challenge, especially for non-abelian topological order. Building on the recently developed modular commutator formalism, we numerically obtain $c_-$ directly from single ground-state wave functions of two-dimensional interacting spin models that have chiral topological order. This provides a geometry-independent and bulk diagnostic of chirality. We study two nonintegrable systems -- the Zeeman-Kitaev honeycomb model and the kagome antiferromagnet -- both subjected to scalar spin chirality perturbations. We find that the modular commutator yields results consistent with the expected topological quantum field theories. We also compute the topological entanglement entropy which provides an independent diagnostic of the topological orders. Our work establishes modular commutators as a powerful numerical probe of chiral topological order in strongly correlated quantum magnets.

cond-mat.str-el↗