InvPT applies semantic-preserving transformations to the corpus and combines masked language modeling with multi-positive supervised contrastive learning that treats all augmentations of the same source function as positives, mixing self-contrast pairs with invariant-contrast pairs for positives of varying difficulty.
Yifeng He, Yun-Di Xu, Christopher Castro Gaw Gonzalo et al.· Proceedings of the 2nd ACM S...· 0 citations
This work introduces Path2Spec, a divide-and-conquer framework that leverages LLMs to extract all execution paths from an input program, generates path-specific specifications for each, and merges them into a comprehensive overall specification.
Dan Huang, Zhensu Sun, Hui-Hui Huang et al.· 0 citations
Test-Time Training (TTT) adapts models to incoming test samples (e.g. out-of-distribution, (OOD)) when conventional fine-tuning is infeasible. Existing TTT methods for Vision-Language Models (VLMs) create supervision from several augmented views, each requiring forward (and often backward) passes through the entire VLM...
Rajat Modi, P. Pathak, Xin Liang et al.· 0 citations
Reasoning vision-language models (VLMs) process images and videos as long sequences of visual tokens, making inference expensive. Training-free token pruning reduces this cost, but aggressive compression can sharply degrade performance, often attributed to irreversible loss of task-relevant visual information. We show...
Ahmadreza Jeddi, En-Ming Zhang, Jasper Gerigk et al.· 0 citations
Reach audiences
Advertise in front of researchers, engineers, and readers.
Neural audio codecs (NACs) are widely used in speech generation and audio-language modeling, yet how they encode speaker-trait information remains poorly understood. Prior work applied sparse autoencoders (SAEs) to investigate accent information in NACs through task-level analysis. Here, we extend this analysis to the...
Shi Wang, Tian-Tian Feng, Aditya Kommineni et al.· 0 citations
An e-commerce–based sales information system that helps improve the efficiency of transaction management, enhances the quality of customer service, and simplifies the process of ordering and making online payments is designed and developed.
Clarita Ilona Seran, K. J. Tute, B. Bhae· Jurnal Teknologi Dan Sistem...· 0 citations
The shock of a collision gets smaller the longer the distance over which one stops. That is why cars are built to crumple on purpose. Varying the stopping distance and the shape of the force, how much the peak acceleration and HIC15, a criterion used for head injury, fall is counted. No new theorem or law is claimed. S...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
A tougher material is expected to last longer once a crack is present. What this paper shows is that most of the life is spent while the crack is small, so that enlarging the final size extends the life almost not at all. No new theorem or law is claimed. Scope of this paper (scope note): No new theorem or law is claim...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Babinet's principle says that an aperture and its complement produce the same diffraction pattern. What this paper shows is that this holds only away from the forward direction, and that why it holds and why it fails follow from one and the same identity. No new theorem or law is claimed. Scope of this paper (scope not...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
Renames the Python package from secure_code_rl_ictai to cargo (imports are now from cargo.rl.grpo import ...). No change to behavior or results relative to v1.0.0.
Suryansh Singh Sijwali· Zenodo (CERN European Organi...· 0 citations
When one writes "A is proportional to B", the standing of the constant in front is rarely asked about. What this paper shows is that such constants come in four kinds, some of which move when something is changed and some of which do not. No new theorem or law is claimed. Scope of this paper (scope note): No new theore...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations
It is natural to think that a phase changes because particles attract one another. But the condensation of bosons happens without any attraction at all. The condensation temperature of an ideal Bose gas is computed in three cases, and what fixes that temperature is examined. No new theorem or law is claimed. Scope of t...
Yuuki Yamagishi· Zenodo (CERN European Organi...· 0 citations