Suchergebnisse - coding (algorithmics OR (algorithmics OR (algorithm OR (Algorithmssssics OR Algorithmssssics))))

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

Inhaltsangabe: “… algorithm that introduces a novel regularizer to reduce the number of activation regions at the safety …”
Volltext

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

Inhaltsangabe: “… The goal of mechanistic interpretability is discovering simpler, low-rank algorithms implemented …”
Volltext

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

Inhaltsangabe: “… by IPPO. To support benchmarking future MARL algorithms, we release our environment code, model …”
Volltext

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

Inhaltsangabe: “… problem-solving tasks such as algorithmic coding and competitive programming. This paper introduces a …”
Volltext

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

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

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

Inhaltsangabe: “… downstream reward functions during inference. While numerous algorithms for reward-guided generation have …”
Volltext

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

Inhaltsangabe: “… plug-and-play discrete diffusion posterior sampling algorithm based on split Gibbs sampling, which we …”
Volltext

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

Inhaltsangabe: “… -reconstruction algorithm that maximizes the controllability margin at each intermediate stage. Specifically, we …”
Volltext

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

Inhaltsangabe: “… adaptation of the Quine-McCluskey algorithm to eliminate input-output discrepancies in the truth table …”
Volltext

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

Inhaltsangabe: “… inverse acoustoplasmonic metasurface design algorithm for desired optically-generated acoustic wave fields …”
Volltext

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

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

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

Inhaltsangabe: “… for the practical implementation of Monte Carlo algorithms, provide sample codes, explain some typical data analysis …”
Volltext

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

Inhaltsangabe: “… -aware viewpoint-planning algorithm to address these challenges. The planning process involves three key …”
Volltext

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

Inhaltsangabe: “… algorithm implemented as an open-access \texttt{Python} code, which offers full automation …”
Volltext

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

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

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

Inhaltsangabe: “… We present the $Y_0$ Python package, which implements causal identification algorithms that apply …”
Volltext

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

Inhaltsangabe: “… subnetworks, or circuits, that accomplish specific tasks. Existing circuit discovery algorithms face a …”
Volltext

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

Inhaltsangabe: “… Within the family of guessing-based decoding algorithms, ordered reliability bits GRAND (ORBGRAND …”
Volltext

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

Inhaltsangabe: “… group-level policy optimization algorithm becomes suboptimal because of its underlying assumption …”
Volltext

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

Inhaltsangabe: “… In the last decade, there have been major advances in clusterless decoding algorithms for neural …”
Volltext