Search Results - coding ((Algorithmssssics OR algorithmsssssssicics) OR (algorithm OR (algorithm OR algorithm)))

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

Table of Contents: “… algorithm that introduces a novel regularizer to reduce the number of activation regions at the safety…”
Get full text

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

Table of Contents: “…The goal of mechanistic interpretability is discovering simpler, low-rank algorithms implemented…”
Get full text

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

Table of Contents: “… by IPPO. To support benchmarking future MARL algorithms, we release our environment code, model…”
Get full text

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

Table of Contents: “… problem-solving tasks such as algorithmic coding and competitive programming. This paper introduces a…”
Get full text

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

Table of Contents: “… functions. The primary contribution of this work is a fully automated compilation algorithm, called Crane2…”
Get full text

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

Table of Contents: “… downstream reward functions during inference. While numerous algorithms for reward-guided generation have…”
Get full text

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

Table of Contents: “… plug-and-play discrete diffusion posterior sampling algorithm based on split Gibbs sampling, which we…”
Get full text

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

Table of Contents: “…-reconstruction algorithm that maximizes the controllability margin at each intermediate stage. Specifically, we…”
Get full text

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

Table of Contents: “… adaptation of the Quine-McCluskey algorithm to eliminate input-output discrepancies in the truth table…”
Get full text

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

Table of Contents: “… inverse acoustoplasmonic metasurface design algorithm for desired optically-generated acoustic wave fields…”
Get full text

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

Table of Contents: “…, such as high-quality code generation and arithmetic reasoning. However, the development of such systems often…”
Get full text

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

Table of Contents: “… for the practical implementation of Monte Carlo algorithms, provide sample codes, explain some typical data analysis…”
Get full text

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

Table of Contents: “…-aware viewpoint-planning algorithm to address these challenges. The planning process involves three key…”
Get full text

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

Table of Contents: “… algorithm implemented as an open-access \texttt{Python} code, which offers full automation…”
Get full text

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

Table of Contents: “… outperforms the latest hierarchical MAPPO algorithms. Videos and code are available at https://github.com…”
Get full text

Causal identification with $Y_0$ by 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 of Contents: “…We present the $Y_0$ Python package, which implements causal identification algorithms that apply…”
Get full text

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

Table of Contents: “… subnetworks, or circuits, that accomplish specific tasks. Existing circuit discovery algorithms face a…”
Get full text

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

Table of Contents: “…Within the family of guessing-based decoding algorithms, ordered reliability bits GRAND (ORBGRAND…”
Get full text

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

Table of Contents: “… group-level policy optimization algorithm becomes suboptimal because of its underlying assumption…”
Get full text

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

Table of Contents: “…In the last decade, there have been major advances in clusterless decoding algorithms for neural…”
Get full text