Risultati della ricerca - coding (algorithmicsics OR (algorithm OR (Algorithmsssssics OR (algorithm OR algorithm))))

SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions di Zhang, Hongchao, Qin, Zhizhen, Gao, Sicun, Clark, Andrew

Sommario: “... algorithm that introduces a novel regularizer to reduce the number of activation regions at the safety...”
Testo

Modular addition without black-boxes: Compressing explanations of MLPs that compute numerical integration di Yip, Chun Hei, Agrawal, Rajashree, Chan, Lawrence, Gross, Jason

Sommario: “...The goal of mechanistic interpretability is discovering simpler, low-rank algorithms implemented...”
Testo

ColorGrid: A Multi-Agent Non-Stationary Environment for Goal Inference and Assistance di Risukhin, Andrey, Rao, Kavel, Caffee, Ben, Fan, Alan

Sommario: “... by IPPO. To support benchmarking future MARL algorithms, we release our environment code, model...”
Testo

LLM-ProS: Analyzing Large Language Models' Performance in Competitive Problem Solving di Hossain, Md Sifat, Tabassum, Anika, Arefin, Md. Fahim, Zaman, Tarannum Shaila

Sommario: “... problem-solving tasks such as algorithmic coding and competitive programming. This paper introduces a...”
Testo

Towards Practical First-Order Model Counting di Kidambi, Ananth K., Singh, Guramrit, Dilkas, Paulius, Meel, Kuldeep S.

Sommario: “... functions. The primary contribution of this work is a fully automated compilation algorithm, called Crane2...”
Testo

Reward-Guided Iterative Refinement in Diffusion Models at Test-Time with Applications to Protein and DNA Design di Uehara, Masatoshi, Su, Xingyu, Zhao, Yulai, Li, Xiner, Regev, Aviv, Ji, Shuiwang, Levine, Sergey, Biancalani, Tommaso

Sommario: “... downstream reward functions during inference. While numerous algorithms for reward-guided generation have...”
Testo

Split Gibbs Discrete Diffusion Posterior Sampling di Chu, Wenda, Wu, Zihui, Chen, Yifan, Song, Yang, Yue, Yisong

Sommario: “... plug-and-play discrete diffusion posterior sampling algorithm based on split Gibbs sampling, which we...”
Testo

Robust Self-Reconfiguration for Fault-Tolerant Control of Modular Aerial Robot Systems di Huang, Rui, Tang, Siyu, Cai, Zhiqian, Zhao, Lin

Sommario: “...-reconstruction algorithm that maximizes the controllability margin at each intermediate stage. Specifically, we...”
Testo

A Scalable Synthesis Algorithm for Reversible Functions di Sarvaghad-Moghaddam, Moein, Zamani, Morteza Saheb, Sedighi, Mehdi

Sommario: “... adaptation of the Quine-McCluskey algorithm to eliminate input-output discrepancies in the truth table...”
Testo

Computational inverse design of acoustoplasmonic metasurfaces di Holland, Julia E., Boechler, Nicholas, Poulikakos, Lisa V.

Sommario: “... inverse acoustoplasmonic metasurface design algorithm for desired optically-generated acoustic wave fields...”
Testo

OMAC: A Holistic Optimization Framework for LLM-Based Multi-Agent Collaboration di Li, Shijun, Hasson, Hilaf, Ghosh, Joydeep

Sommario: “..., such as high-quality code generation and arithmetic reasoning. However, the development of such systems often...”
Testo

Agent-based Monte Carlo simulations for reaction-diffusion models, population dynamics, and epidemic spreading di Swailem, Mohamed, Dobramysl, Ulrich, Mukhamadiarov, Ruslan, Täuber, Uwe C.

Sommario: “... for the practical implementation of Monte Carlo algorithms, provide sample codes, explain some typical data analysis...”
Testo

GS-NBV: a Geometry-based, Semantics-aware Viewpoint Planning Algorithm for Avocado Harvesting under Occlusions di Song, Xiao'ao, Karydis, Konstantinos

Sommario: “...-aware viewpoint-planning algorithm to address these challenges. The planning process involves three key...”
Testo

An Algorithm for Automated Extraction of Resonance Parameters from the Stabilization Method di Langner, Johanna, Sadhukhan, Anjan, Saha, Jayanta K., Witek, Henryk A.

Sommario: “... algorithm implemented as an open-access \texttt{Python} code, which offers full automation...”
Testo

Multi-Task Multi-Agent Reinforcement Learning via Skill Graphs di Zhu, Guobin, Zhou, Rui, Ji, Wenkang, Zhang, Hongyin, Wang, Donglin, Zhao, Shiyu

Sommario: “... outperforms the latest hierarchical MAPPO algorithms. Videos and code are available at https://github.com...”
Testo

Causal identification with $Y_0$ di Hoyt, Charles Tapley, Bakker, Craig, Callahan, Richard J., Cottam, Joseph, George, August, Gyori, Benjamin M., Hummel, Haley M., Merrill, Nathaniel, Taheri, Sara Mohammad, Navada, Pruthvi Prakash, Parent, Marc-Antoine, Rupe, Adam, Vitek, Olga, Zucker, Jeremy

Sommario: “...We present the $Y_0$ Python package, which implements causal identification algorithms that apply...”
Testo

Discovering Transformer Circuits via a Hybrid Attribution and Pruning Framework di Gu, Hao, Nair, Vibhas, Kumar, Amrithaa Ashok, Sharma, Jayvart, Lagasse, Ryan

Sommario: “... subnetworks, or circuits, that accomplish specific tasks. Existing circuit discovery algorithms face a...”
Testo

ORBGRAND Is Exactly Capacity-achieving via Rank Companding di Li, Zhuang, Zhang, Wenyi

Sommario: “...Within the family of guessing-based decoding algorithms, ordered reliability bits GRAND (ORBGRAND...”
Testo

CARL: Criticality-Aware Agentic Reinforcement Learning di Shen, Leyang, Zhang, Yang, Ling, Chun Kai, Zhao, Xiaoyan, Chua, Tat-Seng

Sommario: “... group-level policy optimization algorithm becomes suboptimal because of its underlying assumption...”
Testo

Assessing the Information Content of Individual Spikes in Population-Level Models of Neural Spiking Activity di Ghahari, Azar, Eden, Uri T.

Sommario: “...In the last decade, there have been major advances in clusterless decoding algorithms for neural...”
Testo