KOINEU

DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information

1. 연구 배경 및 문제 정의 정적‑중심 APR의 한계 : 기존 LLM 기반 APR은 소스 코드, 주석, 테스트 결과 등 정적 정보를 주로 사용한다. 이는 버그 원인이 실행 시점의 상태에 크게 의존하는 경우(예: 변수 값, 제어 흐름) 탐색 공간을 급격히 확대한다. 동적 정보 활용의 부재 : 기존 연구는 동적 정보를 훈련 단계 에만 삽입하거나 한 번 프롬프트에 포함시켜, 반복적인 수리 과정에서 재활용하지 않는다. 이는 인간 개발자가 “실행 → 관찰 → 수정”을 반복하는 디버깅 프로세스와 괴리된다. 피드백의 거친 수준 : 현재 반복형

DynaFix: Iterative Automated Program Repair Driven by Execution-Level Dynamic Information

Improving Multi-step RAG with Hypergraph-based Memory for Long-Context Complex Relational Modeling

Hindsight is 20/20: Building Agent Memory that Retains, Recalls, and Reflects

Prompt-to-Parts: Generative AI for Physical Assembly and Scalable Instructions

Structured Event Representation and Stock Return Predictability

Generalization of RLVR Using Causal Reasoning as a Testbed

A superpersuasive autonomous policy debating system

Gate-level boolean evolutionary geometric attention neural networks

Sparsity-Controllable Dynamic Top-p MoE for Large Foundation Model Pre-training

AI- and Ontology-Based Enhancements to FMEA for Advanced Systems Engineering: Current Developments and Future Directions

Bidirectional RAG: Safe Self-Improving Retrieval-Augmented Generation Through Multi-Stage Validation

Geometric Data Science

InstructAudio: Unified speech and music generation with natural language instruction

No Free Lunch in Language Model Bias Mitigation? Targeted Bias Reduction Can Exacerbate Unmitigated LLM Biases

NystagmusNet: Explainable Deep Learning for Photosensitivity Risk Prediction

ShareChat: A Dataset of Chatbot Conversations in the Wild

Thucy: An LLM-based Multi-Agent System for Claim Verification across Relational Databases

Visual Sync: Multi-Camera Synchronization via Cross-View Object Motion

Wearable-informed generative digital avatars predict task-conditioned post-stroke locomotion

When AI Bends Metal: AI-Assisted Optimization of Design Parameters in Sheet Metal Forming

Domain-Specific Foundation Model Improves AI-Based Analysis of Neuropathology

NVIDIA Nemotron 3: Efficient and Open Intelligence

Connectivity-Preserving Cortical Surface Tetrahedralization

Convergence of Outputs When Two Large Language Models Interact in a Multi-Agentic Setup

Planning as Descent: Goal-Conditioned Latent Trajectory Synthesis in Learned Energy Landscapes

World Models for Autonomous Navigation of Terrestrial Robots from LIDAR Observations

Deep Research: A Systematic Survey

Proportional integral derivative booster for neural networks-based time-series prediction: Case of water demand prediction

Satisfiability Modulo Theory Meets Inductive Logic Programming

Catching UX Flaws in Code: Leveraging LLMs to Identify Usability Flaws at the Development Stage

Efficient Kernel Mapping and Comprehensive System Evaluation of LLM Acceleration on a CGLA

A gradient descent algorithm for computing circle patterns

CRAFT-E: A Neuro-Symbolic Framework for Embodied Affordance Grounding

ELANA: A Simple Energy and Latency Analyzer for LLMs

Evolutionary Architecture Search through Grammar-Based Sequence Alignment

FIN-bench-v2: A Unified and Robust Benchmark Suite for Evaluating Finnish Large Language Models

From Theory of Mind to Theory of Environment: Counterfactual Simulation of Latent Environmental Dynamics

Improving VQA Reliability: A Dual-Assessment Approach with Self-Reflection and Cross-Model Verification

Suzume-chan: Your Personal Navigator as an Embodied Information Hub

The body is not there to compute: Comment on 'Informational embodiment: Computational role of information structure in codes and robots' by Pitti et al

The Erosion of LLM Signatures: Can We Still Distinguish Human and LLM-Generated Scientific Ideas After Iterative Paraphrasing?

The stationary focus of the Kiepert parabola over a special Poncelet triangle family

A Linear Expectation Constraint for Selective Prediction and Routing with False-Discovery Control

An AI Monkey Gets Grapes for Sure -- Sphere Neural Networks for Reliable Decision-Making

AncientBench: Towards Comprehensive Evaluation on Excavated and Transmitted Chinese Corpora

Arc Spline Approximation of Envelopes of Evolving Planar Domains

Beyond Additivity: Sparse Isotonic Shapley Regression toward Nonlinear Explainability

Dynamically Scaled Activation Steering

E3AD: An Emotion-Aware Vision-Language-Action Model for Human-Centric End-to-End Autonomous Driving

ElecTwit: A Framework for Studying Persuasion in Multi-Agent Social Systems

< Category Statistics (Total: 5012) >

Start searching

No results found