Risultati della ricerca - coding (algorithm OR algorithmsssic)

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

Sommario: “... grows exponentially with the number of particles involved. Quantum algorithms are being developed...”
Testo

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

Sommario: “... algorithmic $T$-gate optimization, modified surface code architecture to incorporate lesser qubit overhead...”
Testo

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

Sommario: “...We present Franca (pronounced Fran-ka): free one; the first fully open-source (data, code, weights...”
Testo

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

Sommario: “... to generate a faithful, structured representation such as code. We demonstrate that this relative ease...”
Testo

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

Sommario: “... modifications to existing black-box codes. Furthermore, advanced strategies such as NaN payload encoding via...”
Testo

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

Sommario: “... LLMs integrated with tools like Python code interpreters show great promise, a principled theory...”
Testo

Toward LLM-Supported Automated Assessment of Critical Thinking Subskills di 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

Sommario: “..., and algorithmic persuasion, critical thinking - the capacity to evaluate evidence, detect unreliable claims...”
Testo

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

Sommario: “...Deep joint source-channel coding (JSCC) has emerged as a promising paradigm for semantic...”
Testo

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

Sommario: “... monitoring metrics, and grievance redress procedures. At the coding level, we introduce a multi algorithm...”
Testo

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

Sommario: “... integrates n8n for no-code workflow design, PostgreSQL for granular data management, FastAPI for flexible...”
Testo

$V_1$: Unifying Generation and Self-Verification for Parallel Reasoners di 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

Sommario: “..., an uncertainty-guided algorithm using a tournament-based ranking that dynamically allocates self-verification...”
Testo

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

Sommario: “... on the Alps system. The new algorithms and MFEM enhancements directly benefit complex production codes...”
Testo

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

Sommario: “...We study variable-length feedback (VLF) codes over binary-input memoryless symmetric (BMS) channels...”
Testo

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

Sommario: “... into the model's reconstructed code, even when the model demonstrably understands the correct semantics? Using...”
Testo

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

Sommario: “... in astrophysical plasmas is essential. While large-scale Galactic propagation codes exist, they are often optimized...”
Testo

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

Sommario: “... customers, we enrich causal analysis with heterogeneous effects, policy algorithms, mediation analysis...”
Testo

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

Sommario: “...-horizon planning has produced a qualitative shift in software engineering. Where earlier code-completion...”
Testo

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

Sommario: “... fail to perform explicit algorithmic planning and to handle edge cases robustly, leading to unreliable...”
Testo

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

Sommario: “.... Additive and multiplicative aggregations are unified under the same solver. On a $150$-task APPS coding...”
Testo

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

Sommario: “...Verifying LLM-generated systems code is hard: bugs are prevalent, formal specifications are missing...”
Testo