サインイン

Daily Arxiv

新規
전 세계에서 발간되는 인공지능 관련 논문을 정리하는 페이지 입니다. 본 페이지는 Google Gemini를 활용해 요약 정리하며, 비영리로 운영 됩니다. 논문에 대한 저작권은 저자 및 해당 기관에 있으며, 요약본 공유 시 출처만 명기하면 됩니다. This service is supported by Google Gemini.
SpecMAGIC: Specification-Guided Multi-Task Generalization in Multi-Agent Reinforcement Learning
Secure Agentic AI and Multimodal Intelligence in 6G Communication Systems
RoleFlow: Self-Evolving Multi-Role Agentic Collaboration via Structural Adaptation
Soft Ontology Priors over Latent Concept Posteriors for Weakly Supervised Neuro-Symbolic Learning
Route-and-Generate: KL-Regularized Router Improvement for Reasoning Routing in LLMs
Breaking the high-degree barrier in Lehmer's problem with a human-AI discovery loop
Feedback That Backfires in Games: Do LLM Players Repeat the Move They Just Watched Fail?
When Stable and Preferred Semantics Agree: A Path-Based Approach
Neural Networks with Differentiable Belief-Function Layers
Accelerating Wildfire Hazard Mapping Across Canada with an AI Surrogate Modelling Framework
MCP vs CLI for AI Agents: A Comparative Analysis of Tool Integration Strategies for Autonomous Systems
The Cost of Saying Hello: An Empirical Study of Handshake Overhead in AI Agent Communication Protocols
To Manipulate or Not: Opinion Dynamics in LLM Interactions
Speedrunning Relational Foundation Model Pretraining
Sketch2Sim: an end-to-end modular framework for hand-drawn circuit analysis
Decision language models as affordable and rapid alternatives to LLM judges of clinical generative AI
Forging More Tasks into Better Harnesses: Agentic Harness Evolution via Successive Scale Racing
Automating ML for Science: Can Frontier Agents Climb Scientific Hills in the Wild?
SpecEvo: Speculative Evolution with Large Language Models for Cost-Efficient Scientific Discovery
Scaling in Games: Continued Pre-Training For Embodied Agents In Diverse Virtual Worlds
A Small Model Asks Better: Fine-Tuning Query Clarification for Retrieval-Augmented Generation
Omni-Woodpecker: Hallucination Correction via Evidence-Prior Rebalancing for Omni LLMs
A general-purpose System One decision model for clinical records
ReuF2F: Benchmarking Coding Agents on Formalized Undergraduate Research Problems
Physical AI: Concepts, Techniques, and Challenges
M-Plan: Comprehensive Planning For LLM Agents with Memory Arrangement
Teaching AI Agent to Play Poker Strategically Through Preference Optimization
Does Multi-Agent Collaboration Reduce Hallucination in Clinical Tasks?
SPEM: Structure-Aware Procedural Memory for Efficient Skill Use in LLM Agents
When Planning Problems Become Hard for LLMs: Separating Structural Complexity from Semantic Interpretability
LightCRS: Lightweight Multi-Domain Conversational Recommendation System
MAMath-Bench: Process-Aware and Robust Evaluation of Multimodal Multi-Agent Mathematical Reasoning
Fix, Not Just Resample: Bounded Compiler-Guided Repair in Lean 4
Industrial Agentic AI: LLM-Driven New-Generation Agents for Smart Manufacturing
DataPraxis: Scaling Analytics Tasks via Verified Workspace Evolution
MedPAO-Assist: Edge-Deployable, Modality-Aware Agentic AI for Radiology Report Structuring
Pareto-Optimal RTL Code Generation via Multi-Objective Reinforcement Learning with Large Language Models
Large language model and reinforcement learning based autonomous construction and progress updates
Navalia: Advancing Cowork Agents through Verifiable Task Synthesis and Long-Horizon Post-Training
Can Compact Open-Weight Large Language Models Recover Mobility Events from Incomplete Trajectories? A Controlled Evaluation Using Air Trips
AM-Bench: A Unified Taxonomy and Evaluation Suite for Agentic Misalignment
Cortex: A Fixed-Point Theory of Governed Coding Agents - Technical Report
Probing Ambiguity: Adversarial Intent Resolution for Robust Text-to-SQL
Training-Free Prompt Selection for Efficient Reinforcement Learning With Partial Rollouts
Distillation, Self-Training, and the Fragility of Learned Chemical Reasoning
Agents' Last Doubt: Knowing When to Act and When to Step Back in Tool-Using Agents
Self-Improving Video-to-Action Models
TorchTPU - A Hybrid Eager/Compiled Architecture for Native PyTorch Execution on TPU
A Conditional No-Hair Theorem for Transformers: How Language Models Forget Their Prompt
Joint, Decoupled, or Agent: When Each Multimodal Alignment Paradigm Wins
Cache2LoRA: Understanding and Improving Context Internalization
Persistent Memory and Iterative Improvement in an LLM Agent for Chinese-Character Drawing
World of SWECraft: Agent Collaboration at Scale via Simulated Software Worlds
LogicVal:A Logic-Formalized Benchmark for Constraint Satisfaction in Text-to-Image Generation
Unified Multiparadigm Fusion Intelligence for Rare Disease Diagnosis
Beyond Explicit Intent: Discovering and Shaping Artistic Intent through Human-AI Co-Creation
What Social Media Teaches Us About Accumulative AI Risks
A Controlled LLM Workflow for Evidence-Grounded Diagnosis of Risk Score Differences
Doing Less with More: A First-Principles Exploration of the Suitability of Agentic Computing over Alternative Architectural Choices
GardenBench: A lightweight, daily evaluation of LLM capabilities
FlexUMM: Flexible Representation Learning for Unified Multimodal Models
Not All Graphs Are Maps: A Task-Agnostic Exploration Framework for Mobile GUI Navigation
From Relevant Memories to Sufficient Evidence: Rethinking Memory Utilization in LLM Agents
At the Limits of Computability: Steps Towards Autonomous AI Discovery on the Busy Beaver Frontier
Repairing LLM-Generated Specifications with Deterministic Diagnosis
FRACTAL: A Self-Similar Multi-Agent Orchestration Architecture with Formal Communication, Convergence, and Depth Bounds
Are Large Reasoning Models Good Everyday Reasoners? A Comparison with Non-Reasoning Models on Logical Reasoning Tasks
Testing the Planning Claims of LLM-Based Agents against Formal Semantics
Harness-Delta Attribution: Dissecting Gains From Harness Evolution
Author-in-the-loop Agentic Reproducibility Auditing for a Machine Learning Conference
Functional Welfare for AI Safety
Learnable Splines for Unstructured Neural Operators
Null Controls Are Necessary but Not Sufficient: Evaluating Acceptance Guards for Scientific Discovery and Interpretability
From Natural Language Intent to Executable Control: Hierarchical Feedback-Guided LLM Planning for Multi-component Cyber-Physical Systems
PRIME: Towards Verifiable Evidence-Grounded Reasoning in LLM Agents
Sensitivity Analysis of Decision Rules in an Agent-Based Agro-Ecological Model
ECHOES: Seeing Beyond the Current Image via Recursive History Compression and Privileged On-Policy Distillation
From Events to Reasoning: Hierarchical Rule Composition over Explicit States
Rethinking User Encoders: Routing Diffusion States for Scenario-Adaptive User Representation
Structured Authority Injection: Persistent Human Control for LLM Agents via Typed MCP Overrides
Defining and Generating Compositional Structure
A Multi-Tiered AI Accessibility Model (MAIAM): Proportionate Access and Capability Limits for Comprehensive Frontier AI Safety
Anticipatory Commonsense with Moving Objects: An ASP-Based Framework for Predictive Reasoning with Interacting Trajectories
Evolving Together, Failing Apart: The Skill-Policy Co-evolution Trap in Self-Improving Agents
Confidence-Calibrated Inference Expansion for Evaluator-Guided Test-Time Reasoning
Temporal Specification Guidance for Text-to-Video Generation
A Self-Improving Agent that Grows its Own DSL: Oracle-Free Operator Induction for Exact Question Answering
When Reasoning Traces Conflict with Evidence: How Answer Configuration Shapes Evidence Following
EvolvingBrain: An Adaptive Skill System for Multi-modal Agents Self-Evolution in Open Worlds
Open-world AI: a Tale of Three Requirements
ARIA: Runtime Inspection and Amendment for Multi-Agent Systems
When Reality Outpaces Cognition: A New Scaling Principle for Reliable Intelligence
L2G-SR: Learning to Guide LLM-based Symbolic Regression
IneqAgent: Agentic Inequality Proving in Lean with Symbolic Computation
Counterfactual Neighborhood Risk Fields: Evidence-Grounded Selective Safety for Vision-Language Models
When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus
AlphaDiana: A Measurement System for Agents in Verifiable Reasoning Tasks
Value-Informed Schedule Trimming for Accelerated Sequential Monte Carlo Guidance in Discrete Diffusion
Evaluating Model Capabilities After Benchmark Saturation
The World Won't Wait: Evaluating and Teaching Agents Under a Live Clock
新しい

Bin2Vec: Interpretable and Auditable Multi-View Binary Analysis for Code Plagiarism Detection

작성자
Haebom
카테고리
未設定

저자

Moussa Moussaoui, Tarik Houichime, Abdelalim Sadiq

개요

Bin2Vec은 소프트웨어 프로그램을 명확하고 설명 가능한 방식으로 비교하는 새로운 프레임워크입니다. 프로그램의 외형(내장 함수, 가져오기, 내보내기)과 실행 시 동작(명령어, 메모리 사용량)을 결합하여 두 프로그램의 유사성을 판단합니다. Bin2Vec은 다양한 정보를 시각적으로 표현하고, 이를 통합하여 전체적인 유사성 점수를 제공합니다. 머신 러닝 모델에 효율적으로 처리될 수 있는 특징 표현을 생성하여 바이너리 표현과 머신 러닝 기술 간의 가교 역할을 합니다. PuTTY와 7-Zip의 여러 버전에 대한 테스트 결과, Bin2Vec은 분석된 소프트웨어의 최적이고 시각화 친화적인 표현을 계산하는 것으로 나타났습니다.

시사점, 한계점

•
시사점:
◦
소프트웨어 프로그램의 외형과 동작을 통합하여 프로그램 유사성 판단의 정확성을 높임.
◦
시각화 도구를 통해 프로그램의 특징을 쉽게 이해하고 해석할 수 있도록 함.
◦
감사, 소프트웨어 출처 확인, 사이버 보안 및 리버스 엔지니어링 등 다양한 분야에 적용 가능.
◦
모듈식 설계로 확장성이 용이함.
•
한계점:
◦
구체적인 성능 지표(정확도, 처리 속도 등)에 대한 정보가 부족함.
◦
다른 프레임워크와의 비교 분석이 제시되지 않음.
◦
다양한 유형의 소프트웨어에 대한 일반화 가능성에 대한 추가 연구 필요.
👍
Slashpageで作成