arXiv ScienceSearch

arXiv subjects

Anjan Goswami

Publications and source records attributed to Anjan Goswami.

5 recordsLinked to original sources

Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change

When a coding agent returns to existing software, it inherits evidence from earlier engineering work: tests, type checks, proofs, static analyses, and traces. Reloading all of it is wasteful, but dropping a piece the change depends on can leave a required property unsupported. Given the properties a change must preserve, its obligations, we ask which least-cost subset of the available evidence re-establishes them, and we call such a subset a task-conditioned assurance envelope. Evidence and the rules that combine it form a typed inference graph; an obligation is met when forward chaining from the selected evidence reaches it, and we validate every selection by that closure rather than by trusting the optimizer. The software-derived graphs in our evaluation come from preserved outcomes of prior AI coding-agent runs; we freeze those artifacts and ask which accumulated evidence should be restored for a later task. Small graphs from Rust, IronBlocks, and Pong outcomes show that the minimum envelope depends on the task, that none may exist when current evidence cannot re-establish a required property, that some properties need several pieces of evidence together, and that expanding the requirements adds evidence rather than replacing it. A prespecified synthetic benchmark of 249 instances characterizes computation: a baseline that discards the 'several pieces together' structure necessarily fails to re-derive them; every completed exact cross-check agreed with the CP-SAT optimizer; and median solve time stayed below 20 ms at 500-evidence graphs, except that graphs with many alternative derivations per target timed out at far smaller sizes, so structure, not raw size, drives difficulty. The contribution is a bounded application of established optimization to selecting assurance context for a software change; discovering the obligations and downstream agent benefit remain open.

cs.SE

VLM-SlideEval: Evaluating VLMs on Structured Comprehension and Perturbation Sensitivity in PPT

Vision-language models (VLMs) are increasingly used to evaluate multimodal content, including presentation slides, yet their slide-specific understanding remains underexplored {despite their growing role as critics in agentic, model-forward pipelines}. We introduce VLM-SlideEval, an evaluation framework that probes VLMs along three axes: (1) element-level extraction from slide images aligned to ground truth; (2) robustness to controlled perturbations in geometry, style, and text; and (3) higher-level comprehension, such as recovering a deck's narrative order from shuffled slides. Using publicly available decks from Zenodo (https://huggingface.co/datasets/Forceless/Zenodo10K/viewer/default/pptx), we standardize ground-truth element metadata from PowerPoint XML and live renderings into a unified, verifiable schema. Empirically, VLMs underperform on pixel-accurate extraction and show non-trivial agreement, fidelity, and consistency under controlled perturbations, while performing better on single-slide content understanding; however, they do not reliably capture narrative structure across slides. These results highlight the limits of current VLMs for slide evaluation and motivate calibrated, critic-in-the-loop evaluators that drive iterative refinement and selection in agentic pipelines.

cs.CV

A van der Waals material exhibiting room temperature broken inversion symmetry with ferroelectricity

Since the initial synthesis of van der Waals two-dimensional indium selenide was first documented in 1957, five distinct polymorphs and their corresponding polytypes have been identified. In this study, we report a unique phase of indium selenide via Scanning Transmission Electron Microscopy (STEM) analysis in the synthesized large-area films -- which we have named the $β^\text{p}$ phase. The quintuple layers of the $β^\text{p}$ phase, characterized by a unique zigzag atomic configuration with unequal indium-selenium bond lengths from the middle selenium atom, are distinct from any other previously reported phase of indium selenide. Cross-sectional STEM analysis has revealed that the $β^\text{p}$ layers exhibit intralayer shifting. We found that indium selenide films with $β^\text{p}$ layers display electric-field-induced switchable polarization characteristic of ferroelectric materials, suggesting the breaking of the inversion symmetry. Experimental observations of nonlinear optical phenomena -- Second Harmonic Generation (SHG) responses further support this conclusion. This study reports a $β^\text{p}$ phase of indium selenide showing ferroelectricity over large areas at room temperature in a low-dimensional limit.

cond-mat.mtrl-sci

Optical Synthesis of Transient Chirality in Achiral Plasmonic Metasurfaces

As much as chiral metasurfaces are significant in stereochemistry and polarization control, tunable chiroptical response is important for their dynamic counterparts. A single metasurface device with invertible chiral states can selectively harness or manipulate both handedness of circularly polarized light upon demand, where in fact chiral inversion in molecules is an active research field. Tactics for chirality switching can be classified into geometry modification and refractive index tuning. However, these generally confront slow modulation speed or restrained refractive index tuning effects in the visible regime with forbidden 'true' inversion. Here, we reconfigure the 'optical' geometry through inhomogeneous spatiotemporal distribution of hot carriers as a breakthrough, transforming a plasmonic achiral metasurface into an ultrafast transient chiral medium with near-perfectly-invertible handedness in the visible. The photoinduced chirality relaxes through the fast spatial diffusion process of electron temperature compared to electron-phonon relaxation, empowering hot-carrier-based devices to be particularly suitable for ultrafast chiroptics.

physics.optics

Towards a Soft Faceted Browsing Scheme for Information Access

Faceted browsing is a commonly supported feature of user interfaces for access to information. Existing interfaces generally treat facet values selected by a user as hard filters and respond to the user by only displaying information items strictly satisfying the filters and in their original ranking order. We propose a novel alternative strategy for faceted browsing, called soft faceted browsing, where the system also includes some possibly relevant items outside the selected filter in a non-intrusive way and re-ranks the items to better satisfy the user's information need. Such a soft faceted browsing strategy can be beneficial when the user does not have a very confident and strict preference for the selected facet values, and is especially appropriate for applications such as e-commerce search where the user would like to explore a larger space before finalizing a purchasing decision. We propose a probabilistic framework for modeling and solving the soft faceted browsing problem, and apply the framework to study the case of facet filter selection in e-commerce search engines. Preliminary experiment results demonstrate the soft faceted browsing scheme is better than the traditional faceted browsing scheme in terms of its efficiency in helping users navigate in the information space.

cs.IR