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

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

Table des matières: “… algorithm that introduces a novel regularizer to reduce the number of activation regions at the safety…”
Accéder au texte intégral

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

Table des matières: “…The goal of mechanistic interpretability is discovering simpler, low-rank algorithms implemented…”
Accéder au texte intégral

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

Table des matières: “… by IPPO. To support benchmarking future MARL algorithms, we release our environment code, model…”
Accéder au texte intégral

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

Table des matières: “… problem-solving tasks such as algorithmic coding and competitive programming. This paper introduces a…”
Accéder au texte intégral

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

Table des matières: “… functions. The primary contribution of this work is a fully automated compilation algorithm, called Crane2…”
Accéder au texte intégral

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

Table des matières: “… downstream reward functions during inference. While numerous algorithms for reward-guided generation have…”
Accéder au texte intégral

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

Table des matières: “… plug-and-play discrete diffusion posterior sampling algorithm based on split Gibbs sampling, which we…”
Accéder au texte intégral

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

Table des matières: “…-reconstruction algorithm that maximizes the controllability margin at each intermediate stage. Specifically, we…”
Accéder au texte intégral

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

Table des matières: “… adaptation of the Quine-McCluskey algorithm to eliminate input-output discrepancies in the truth table…”
Accéder au texte intégral

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

Table des matières: “… inverse acoustoplasmonic metasurface design algorithm for desired optically-generated acoustic wave fields…”
Accéder au texte intégral

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

Table des matières: “…, such as high-quality code generation and arithmetic reasoning. However, the development of such systems often…”
Accéder au texte intégral

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

Table des matières: “… for the practical implementation of Monte Carlo algorithms, provide sample codes, explain some typical data analysis…”
Accéder au texte intégral

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

Table des matières: “…-aware viewpoint-planning algorithm to address these challenges. The planning process involves three key…”
Accéder au texte intégral

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

Table des matières: “… algorithm implemented as an open-access \texttt{Python} code, which offers full automation…”
Accéder au texte intégral

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

Table des matières: “… outperforms the latest hierarchical MAPPO algorithms. Videos and code are available at https://github.com…”
Accéder au texte intégral

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

Table des matières: “…We present the $Y_0$ Python package, which implements causal identification algorithms that apply…”
Accéder au texte intégral

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

Table des matières: “… subnetworks, or circuits, that accomplish specific tasks. Existing circuit discovery algorithms face a…”
Accéder au texte intégral

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

Table des matières: “…Within the family of guessing-based decoding algorithms, ordered reliability bits GRAND (ORBGRAND…”
Accéder au texte intégral

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

Table des matières: “… group-level policy optimization algorithm becomes suboptimal because of its underlying assumption…”
Accéder au texte intégral

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

Table des matières: “…In the last decade, there have been major advances in clusterless decoding algorithms for neural…”
Accéder au texte intégral