Résultats de la recherche - coding ((algorithmsssic OR algorithmsssic) OR algorithm)

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

Table des matières: “… grows exponentially with the number of particles involved. Quantum algorithms are being developed…”
Accéder au texte intégral

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

Table des matières: “… algorithmic $T$-gate optimization, modified surface code architecture to incorporate lesser qubit overhead…”
Accéder au texte intégral

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

Table des matières: “…We present Franca (pronounced Fran-ka): free one; the first fully open-source (data, code, weights…”
Accéder au texte intégral

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

Table des matières: “… to generate a faithful, structured representation such as code. We demonstrate that this relative ease…”
Accéder au texte intégral

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

Table des matières: “… modifications to existing black-box codes. Furthermore, advanced strategies such as NaN payload encoding via…”
Accéder au texte intégral

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

Table des matières: “… LLMs integrated with tools like Python code interpreters show great promise, a principled theory…”
Accéder au texte intégral

Toward LLM-Supported Automated Assessment of Critical Thinking Subskills par 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 des matières: “…, and algorithmic persuasion, critical thinking - the capacity to evaluate evidence, detect unreliable claims…”
Accéder au texte intégral

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

Table des matières: “…Deep joint source-channel coding (JSCC) has emerged as a promising paradigm for semantic…”
Accéder au texte intégral

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... par Meng, Wei

Table des matières: “… monitoring metrics, and grievance redress procedures. At the coding level, we introduce a multi algorithm…”
Accéder au texte intégral

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

Table des matières: “… integrates n8n for no-code workflow design, PostgreSQL for granular data management, FastAPI for flexible…”
Accéder au texte intégral

$V_1$: Unifying Generation and Self-Verification for Parallel Reasoners par 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 des matières: “…, an uncertainty-guided algorithm using a tournament-based ranking that dynamically allocates self-verification…”
Accéder au texte intégral

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

Table des matières: “… on the Alps system. The new algorithms and MFEM enhancements directly benefit complex production codes…”
Accéder au texte intégral

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

Table des matières: “…We study variable-length feedback (VLF) codes over binary-input memoryless symmetric (BMS) channels…”
Accéder au texte intégral

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

Table des matières: “… into the model's reconstructed code, even when the model demonstrably understands the correct semantics? Using…”
Accéder au texte intégral

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

Table des matières: “… in astrophysical plasmas is essential. While large-scale Galactic propagation codes exist, they are often optimized…”
Accéder au texte intégral

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

Table des matières: “… customers, we enrich causal analysis with heterogeneous effects, policy algorithms, mediation analysis…”
Accéder au texte intégral

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

Table des matières: “…-horizon planning has produced a qualitative shift in software engineering. Where earlier code-completion…”
Accéder au texte intégral

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

Table des matières: “… fail to perform explicit algorithmic planning and to handle edge cases robustly, leading to unreliable…”
Accéder au texte intégral

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

Table des matières: “…. Additive and multiplicative aggregations are unified under the same solver. On a $150$-task APPS coding…”
Accéder au texte intégral

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

Table des matières: “…Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing…”
Accéder au texte intégral