Search Results - coding (Algorithmsssic OR algorithm)

Advancing quantum simulations of nuclear shell model with noise-resilient protocols by Singh, Nifeeya, Siwach, Pooja, Arumugam, P.

Table of Contents: “… grows exponentially with the number of particles involved. Quantum algorithms are being developed…”
Get full text

Design Automation in Quantum Error Correction by Ghosh, Archisman, Chatterjee, Avimita, Ghosh, Swaroop

Table of Contents: “… algorithmic $T$-gate optimization, modified surface code architecture to incorporate lesser qubit overhead…”
Get full text

Franca: Nested Matryoshka Clustering for Scalable Visual Representation Learning by Venkataramanan, Shashanka, Pariza, Valentinos, Salehi, Mohammadreza, Knobel, Lukas, Gidaris, Spyros, Ramzi, Elias, Bursuc, Andrei, Asano, Yuki M.

Table of Contents: “…We present Franca (pronounced Fran-ka): free one; the first fully open-source (data, code, weights…”
Get full text

Learning Only with Images: Visual Reinforcement Learning with Reasoning, Rendering, and Visual Feedback by Chen, Yang, Shen, Yufan, Huang, Wenxuan, Zhou, Sheng, Lin, Qunshu, Cai, Xinyu, Yu, Zhi, Bu, Jiajun, Shi, Botian, Qiao, Yu

Table of Contents: “… to generate a faithful, structured representation such as code. We demonstrate that this relative ease…”
Get full text

NaN-Propagation: A Novel Method for Sparsity Detection in Black-Box Computational Functions by Sharpe, Peter

Table of Contents: “… modifications to existing black-box codes. Furthermore, advanced strategies such as NaN payload encoding via…”
Get full text

Understanding Tool-Integrated Reasoning by Lin, Heng, Xu, Zhongwen

Table of Contents: “… LLMs integrated with tools like Python code interpreters show great promise, a principled theory…”
Get full text

Toward LLM-Supported Automated Assessment of Critical Thinking Subskills by Peczuh, Marisa C., Kumar, Nischal Ashok, Baker, Ryan, Lehman, Blair, Eisenberg, Danielle, Mills, Caitlin, Wittawatolarn, Payu, Naskar, Kushaan, Chebrolu, Keerthi, Nashi, Sudhip, Young, Cadence, Liu, Brayden, Lachman, Sherry, Lan, Andrew

Table of Contents: “…, and algorithmic persuasion, critical thinking - the capacity to evaluate evidence, detect unreliable claims…”
Get full text

SecDiff: Diffusion-Aided Secure Deep Joint Source-Channel Coding Against Adversarial Attacks by Zhao, Changyuan, Wang, Jiacheng, Zhang, Ruichen, Niyato, Dusit, Du, Hongyang, Xiong, Zehui, Kim, Dong In, Zhang, Ping

Table of Contents: “…Deep joint source-channel coding (JSCC) has emerged as a promising paradigm for semantic…”
Get full text

Computable Gap Assessment of Artificial Intelligence Governance in Children's Centres: Evidence-Mechanism-Governance-Indicator Modelling of UNICEF's Guidance on AI and Children 3.0... by Meng, Wei

Table of Contents: “… monitoring metrics, and grievance redress procedures. At the coding level, we introduce a multi algorithm…”
Get full text

FROAV: A Framework for RAG Observation and Agent Verification -- Lowering the Barrier to LLM Agent Research by Lin, Tzu-Hsuan, Kao, Chih-Hsuan

Table of Contents: “… integrates n8n for no-code workflow design, PostgreSQL for granular data management, FastAPI for flexible…”
Get full text

$V_1$: Unifying Generation and Self-Verification for Parallel Reasoners by Singh, Harman, Li, Xiuyu, Sareen, Kusha, Maheswaran, Monishwaran, Tan, Sijun, Wu, Xiaoxia, Wang, Junxiong, Ariyak, Alpay, Wu, Qingyang, Khaki, Samir, Tiwari, Rishabh, Lian, Long, Lu, Yucheng, Li, Boyi, Suhr, Alane, Athiwaratkun, Ben, Keutzer, Kurt

Table of Contents: “…, an uncertainty-guided algorithm using a tournament-based ranking that dynamically allocates self-verification…”
Get full text

Accelerating High-Order Finite Element Simulations at Extreme Scale with FP64 Tensor Cores by Tu, Jiqun, Karlin, Ian, Camier, John, Dobrev, Veselin, Kolev, Tzanio, Henneking, Stefan, Ghattas, Omar

Table of Contents: “… on the Alps system. The new algorithms and MFEM enhancements directly benefit complex production codes…”
Get full text

Posterior Matching over Binary-Input Memoryless Symmetric Channels: Non-Asymptotic Bounds and Low-Complexity Encoding by Yavas, Recep Can

Table of Contents: “…We study variable-length feedback (VLF) codes over binary-input memoryless symmetric (BMS) channels…”
Get full text

Poisoned Identifiers Survive LLM Deobfuscation: A Case Study on Claude Opus 4.6 by Lorenzo, Luis Guzmán

Table of Contents: “… into the model's reconstructed code, even when the model demonstrably understands the correct semantics? Using…”
Get full text

SAETASS: Solver for Astroparticle Equation of Transport Analysis in Spherical Symmetry by García-Morillo, José María, Menchiari, Stefano, López-Coto, Rubén

Table of Contents: “… in astrophysical plasmas is essential. While large-scale Galactic propagation codes exist, they are often optimized…”
Get full text

Closing the Loop: A Software Framework for AI to Support Business Decision Making by Wong, Jeffrey, Creux, Antoine

Table of Contents: “… customers, we enrich causal analysis with heterogeneous effects, policy algorithms, mediation analysis…”
Get full text

Agentic AI in the Software Development Lifecycle: Architecture, Empirical Evidence, and the Reshaping of Software Engineering by Bhati, Happy

Table of Contents: “…-horizon planning has produced a qualitative shift in software engineering. Where earlier code-completion…”
Get full text

ARIADNE: Agentic Reward-Informed Adaptive Decision Exploration via Blackboard-Driven MCTS for Competitive Program Generation by Wei, Minnan, Chen, Xiang, Niu, Xiaoshuai, Chen, Siyu

Table of Contents: “… fail to perform explicit algorithmic planning and to handle edge cases robustly, leading to unreliable…”
Get full text

ZEBRA: Zero-shot Budgeted Resource Allocation for LLM Orchestration by Hamri, May, Talgam-Cohen, Inbal

Table of Contents: “…. Additive and multiplicative aggregations are unified under the same solver. On a $150$-task APPS coding…”
Get full text

Agentic Model Checking by Sun, Youcheng, Liu, Jiawen, Kroening, Daniel, Xue, Jason

Table of Contents: “…Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing…”
Get full text