Tootfinder

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
Shraddha Surana, Ashwin Srinivasan, Michael Bain
https://arxiv.org/abs/2506.13820

Structured Program Synthesis using LLMs: Results and Insights from the IPARC Challenge
The IPARC Challenge, inspired by ARC, provides controlled program synthesis tasks over synthetic images to evaluate automatic program construction, focusing on sequence, selection, and iteration. This set of 600 tasks has resisted automated solutions. This paper presents a structured inductive programming approach with LLMs that successfully solves tasks across all IPARC categories. The controlled nature of IPARC reveals insights into LLM-based code generation, including the importance of prior…

This https://arxiv.org/abs/2505.05784 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qfi…

FlowHFT: Flow Policy Induced Optimal High-Frequency Trading under Diverse Market Conditions
High-frequency trading (HFT) is an investing strategy that continuously monitors market states and places bid and ask orders at millisecond speeds. Traditional HFT approaches fit models with historical data and assume that future market states follow similar patterns. This limits the effectiveness of any single model to the specific conditions it was trained for. Additionally, these models achieve optimal solutions only under specific market conditions, such as assumptions about stock price's s…

Repeated ancilla reuse for logical computation on a neutral atom quantum computer
J. A. Muniz, D. Crow, H. Kim, J. M. Kindem, W. B. Cairncross, A. Ryou, T. C. Bohdanowicz, C. -A. Chen, Y. Ji, A. M. W. Jones, E. Megidish, C. Nishiguchi, M. Urbanek, L. Wadleigh, T. Wilkason, D. Aasen, K. Barnes, J. M. Bello-Rivas, I. Bloomfield, G. Booth, A. Brown, M. O. Brown, K. Cassella, G. Cowan, J. Epstein, M. Feldkamp, C. Griger, Y. Hassan, A. Heinz, E. Halperin, T. Hofler, F. Hummel, M. Jaffe, E. …

Repeated ancilla reuse for logical computation on a neutral atom quantum computer
Quantum processors based on neutral atoms trapped in arrays of optical tweezers have appealing properties, including relatively easy qubit number scaling and the ability to engineer arbitrary gate connectivity with atom movement. However, these platforms are inherently prone to atom loss, and the ability to replace lost atoms during a quantum computation is an important but previously elusive capability. Here, we demonstrate the ability to measure and re-initialize, and if necessary replace, a …

ME: Trigger Element Combination Backdoor Attack on Copyright Infringement
Feiyu Yang, Siyuan Liang, Aishan Liu, Dacheng Tao
https://arxiv.org/abs/2506.10776

ME: Trigger Element Combination Backdoor Attack on Copyright Infringement
The capability of generative diffusion models (DMs) like Stable Diffusion (SD) in replicating training data could be taken advantage of by attackers to launch the Copyright Infringement Attack, with duplicated poisoned image-text pairs. SilentBadDiffusion (SBD) is a method proposed recently, which shew outstanding performance in attacking SD in text-to-image tasks. However, the feasible data resources in this area are still limited, some of them are even constrained or prohibited due to the iss…

This https://arxiv.org/abs/2106.04244 has been replaced.
link: https://scholar.google.com/scholar?q=a

The consistency strength of determinacy when all sets are universally Baire
It is known that the large cardinal strength of the Axiom of Determinacy when enhanced with the hypothesis that all sets of reals are universally Baire is much stronger than the Axiom of Determinacy itself. Sargsyan conjectured it to be as strong as the existence of a cardinal that is both a limit of Woodin cardinals and a limit of strong cardinals. Larson, Sargsyan and Wilson used a generalization of Woodin's derived model construction to show that this conjectured result would be optimal. In …

This https://arxiv.org/abs/2503.14904 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hept…

Axion Stabilization in Modular Cosmology
The $SL(2,\mathbb{Z})$ invariant $α$-attractor models have plateau potentials with respect to the inflaton and axion fields. The potential in the axion direction is almost exactly flat during inflation, hence, the axion field remains nearly massless. In this paper, we develop a generalized class of such models, where the $SL(2,\mathbb{Z})$ symmetry is preserved, but the axion acquires a large mass and becomes strongly stabilized during inflation, which eliminates isocurvature perturbations in …

This https://arxiv.org/abs/2408.07352 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hepp…

Polarization Measurements as a Probe of Axion-Photon Coupling: a Study of GRB 221009A
Axion Like Particles (ALPs) can be produced in Gamma Ray Bursts, altering the polarization of the electromagnetic emission in these events. For the first time, we derive bounds on the axion-photon coupling from polarization measurements of GRB 221009A, performing a full calculation of the Stokes parameters, as it is typically done in the astrophysics community. Within astrophysical uncertainties, our limits on the axion-photon coupling are competitive with complementary probes in the axion mass…

JWST interferometric imaging reveals the dusty disk obscuring the supermassive black hole of the Circinus galaxy
Enrique Lopez-Rodriguez, Joel Sanchez-Bermudez, Omaira Gonzalez-Martin, Robert Nikutta, Ryan M. Lau, Deepashri Thatte, Ismael Garcia-Bernete, Julien H. Girard, Matthew J. Hankins
https://arxiv.org/abs/2506.08077

JWST interferometric imaging reveals the dusty disk obscuring the supermassive black hole of the Circinus galaxy
The dusty and molecular torus is one of the most elusive structures surrounding supermassive black holes, yet its importance is unequivocal for understanding feedback and accretion mechanisms. The torus and accretion disk feed the inspiraling gas onto the supermassive black hole (SMBH) and launch outflows, fundamentally connecting the SMBH activity to the host galaxy. This scenario situates the torus as the interface between the AGN and its host galaxy with a flow cycle of molecular gas and dus…

This https://arxiv.org/abs/2506.00759 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCL_…

Understanding and Mitigating Cross-lingual Privacy Leakage via Language-specific and Universal Privacy Neurons
Large Language Models (LLMs) trained on massive data capture rich information embedded in the training data. However, this also introduces the risk of privacy leakage, particularly involving personally identifiable information (PII). Although previous studies have shown that this risk can be mitigated through methods such as privacy neurons, they all assume that both the (sensitive) training data and user queries are in English. We show that they cannot defend against the privacy leakage in cro…

This https://arxiv.org/abs/2505.16809 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCV_…

Hypergraph Tversky-Aware Domain Incremental Learning for Brain Tumor Segmentation with Missing Modalities
Existing methods for multimodal MRI segmentation with missing modalities typically assume that all MRI modalities are available during training. However, in clinical practice, some modalities may be missing due to the sequential nature of MRI acquisition, leading to performance degradation. Furthermore, retraining models to accommodate newly available modalities can be inefficient and may cause overfitting, potentially compromising previously learned knowledge. To address these challenges, we p…