Resultados de búsqueda - coding (algorithmics OR ((algorithm OR (Algorithmssssic OR Algorithmssssic)) OR algorithmics))

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

Tabla de Contenidos: “… algorithm that introduces a novel regularizer to reduce the number of activation regions at the safety…”
Enlace del recurso

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

Tabla de Contenidos: “…The goal of mechanistic interpretability is discovering simpler, low-rank algorithms implemented…”
Enlace del recurso

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

Tabla de Contenidos: “… by IPPO. To support benchmarking future MARL algorithms, we release our environment code, model…”
Enlace del recurso

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

Tabla de Contenidos: “… problem-solving tasks such as algorithmic coding and competitive programming. This paper introduces a…”
Enlace del recurso

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

Tabla de Contenidos: “… functions. The primary contribution of this work is a fully automated compilation algorithm, called Crane2…”
Enlace del recurso

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

Tabla de Contenidos: “… downstream reward functions during inference. While numerous algorithms for reward-guided generation have…”
Enlace del recurso

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

Tabla de Contenidos: “… plug-and-play discrete diffusion posterior sampling algorithm based on split Gibbs sampling, which we…”
Enlace del recurso

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

Tabla de Contenidos: “…-reconstruction algorithm that maximizes the controllability margin at each intermediate stage. Specifically, we…”
Enlace del recurso

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

Tabla de Contenidos: “… adaptation of the Quine-McCluskey algorithm to eliminate input-output discrepancies in the truth table…”
Enlace del recurso

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

Tabla de Contenidos: “… inverse acoustoplasmonic metasurface design algorithm for desired optically-generated acoustic wave fields…”
Enlace del recurso

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

Tabla de Contenidos: “…, such as high-quality code generation and arithmetic reasoning. However, the development of such systems often…”
Enlace del recurso

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

Tabla de Contenidos: “… for the practical implementation of Monte Carlo algorithms, provide sample codes, explain some typical data analysis…”
Enlace del recurso

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

Tabla de Contenidos: “…-aware viewpoint-planning algorithm to address these challenges. The planning process involves three key…”
Enlace del recurso

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

Tabla de Contenidos: “… algorithm implemented as an open-access \texttt{Python} code, which offers full automation…”
Enlace del recurso

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

Tabla de Contenidos: “… outperforms the latest hierarchical MAPPO algorithms. Videos and code are available at https://github.com…”
Enlace del recurso

Causal identification with $Y_0$ por 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

Tabla de Contenidos: “…We present the $Y_0$ Python package, which implements causal identification algorithms that apply…”
Enlace del recurso

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

Tabla de Contenidos: “… subnetworks, or circuits, that accomplish specific tasks. Existing circuit discovery algorithms face a…”
Enlace del recurso

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

Tabla de Contenidos: “…Within the family of guessing-based decoding algorithms, ordered reliability bits GRAND (ORBGRAND…”
Enlace del recurso

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

Tabla de Contenidos: “… group-level policy optimization algorithm becomes suboptimal because of its underlying assumption…”
Enlace del recurso

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

Tabla de Contenidos: “…In the last decade, there have been major advances in clusterless decoding algorithms for neural…”
Enlace del recurso