Insights
AI가 자동으로 큐레이션·번역·정리하는 기술 동향 피드입니다.
arXiv cs.PL (Programming Languages) 50건필터 해제
IsalProgram 프로그래밍 언어
IsalProgram은 정규 언어 이론을 기반으로 설계된 새로운 어셈블리 스타일의 프로그래밍 언어입니다. 이 언어는 명시적인 메모리 주소나 변수 이름 대신 세 개의 데이터 포인터와 원형 이중 연결 리스트를 사용하여 데이터를 관리하며, 신경망 프로그램 합성을 위한 타겟 언어로 제안되었습니다.
Charon: 대규모 LLM 학습 및 추론을 위한 통합 및 세밀한 시뮬레이터
대규모 LLM의 학습 및 추론을 최적화하기 위해서는 병렬화 전략, 시스템 최적화, 하드웨어 구성 등 복잡한 설계 요소들을 고려해야 합니다. Charon은 이러한 복잡한 설계 공간을 탐색하고 최적의 성능을 도출할 수 있도록 돕는 통합 및 세밀한 시뮬레이터를 제공합니다.
선언적 최적화를 통한 최적화의 최적화: egglog를 이용한 수학적 최적화 내 고차 함수 (Higher-Order Functions) 최적화
JijModeling 2에서 egglog를 활용하여 수학적 모델링의 최적화를 개선하는 두 가지 사례를 소개합니다. 고차 함수를 엔슈가링하여 자연스러운 LaTeX 출력을 생성하고, Datalog 스타일의 규칙을 통해 복잡한 제약 조건 탐지 로직을 효율적으로 구현할 수 있음을 보여줍니다.
국소적 추론 오류에 대한 피드백을 통한 LLM 기반 루프 불변량 합성 가이드
LLM의 사고 과정을 공식적으로 검증하여 국소적 추론 오류를 탐지하고 피드백을 제공하는 새로운 프레임워크를 제안합니다. 이 프레임워크는 루프 불변량 합성 문제에 적용되어, 모델의 자연어 증명을 1차 논리 함의로 변환함으로써 논리적 결함을 자동으로 식별합니다. 구현된 도구인 LORIS는 주요 벤치마크에서 93.1%의 높은 성공률을 기록하며 성능을 입증했습니다.
일관성 기반 강화학습을 통한 LLM의 코드 추론 능력 향상
CodeThinker는 LLM의 코드 추론 능력을 향상시키기 위해 단계별 추론 과정의 일관성을 활용하는 새로운 강화학습 프레임워크입니다. 기존 방식의 희소 보상 및 보상 해킹 문제를 해결하기 위해 단계별 추론 인지 모델, 동적 빔 샘플링, 일관성 보상 메커니즘을 도입했습니다. 실험 결과, Qwen2.5-Coder-7B-Instruct를 포함한 여러 모델에서 최첨단 성능을 기록하며 수학 및 프로그래밍 태스크 전반에서 정확도를 개선했습니다.
Pi-calculus를 외연적 의미론 (Denotational Semantics)에 연결하기
본 논문은 비동기 Pi-calculus의 변형인 AWpi를 소개하며, 이를 통해 프로세스 계산과 외연적 의미론(Denotational Semantics)을 연결하는 방법을 제시합니다. AWpi는 와이어(wires) 프로세스를 통해 범주론적 구조를 형성하며, 병행 게임 의미론(Concurrent Game Semantics)을 활용하여 고차 언어 기능을 해석할 수 있는 상대적 Seely 범주를 구축합니다.
재작성 시스템 대결: 확률적 탐색 (Stochastic Search) vs. EqSat
본 논문은 등식 프로그램 최적화의 주요 패러다임인 등식 포화(Equality Saturation)와 확률적 탐색(Stochastic Search) 방식을 엄격하게 비교 분석합니다. 5개의 벤치마크를 통해 e-graph 기반의 등식 포화 방식이 실제로 얼마나 유용한지를 검증합니다.
순서형 수반 논리 (Ordered Adjoint Logic) (확장 버전)
본 연구는 순서형 논리(Ordered logics)와 타입 시스템의 응용 범위를 확장하기 위해 수반 양상(adjoint modalities)을 활용한 일반화된 논리 체계를 제안합니다. 기존의 선형 제약을 완화하여 약화, 축약, 이동성 등 다양한 구조적 속성을 결합할 수 있으며, 도출된 시퀀트 계산법이 컷 제거(cut elimination)를 허용함을 증명했습니다. 또한, 이 시스템은 결정 가능한 증명 검사를 지원하여 표현력이 풍부한 수반 프로그래밍 언어나 논리적 프레임워크의 토대로 활용될 수 있습니다.
웹 애플리케이션이 스스로 치유될 때: 결함 허용(Fault Tolerance) 및 적응형 복구를 위한 MAPE-K 기반 접근 방식
본 연구는 MAPE-K 모델과 AutoFix 메커니즘을 결합하여 웹 애플리케이션의 신뢰성을 높이는 모듈형 자가 치유(self-healing) 프레임워크를 제안합니다. 20가지 런타임 장애 시나리오에 대한 실험 결과, 93.2%의 높은 복구 성공률과 평균 복구 시간(TTR) 56.2% 단축이라는 성과를 거두었습니다. 이 프레임워크는 결함 상황에서도 높은 시스템 처리량을 유지하며 피드백 기반의 적응형 복구 가능성을 입증했습니다.
DRReduce: 의존성 재구성을 통한 구문 가이드 프로그램 축소 성능 향상
DRReduce는 언어 불가지론적 구문 가이드 프로그램 축소 기술에 의존성 재구성(dependency reconstruction)을 결합하여 프로그램의 의미론적 일관성을 유지하는 프레임워크입니다. 노드 삭제 시 발생하는 의존성 파괴 문제를 해결함으로써 속성 검사기의 수락률을 높이고 백트래킹을 줄여 축소 효율을 극대화합니다. 실험 결과, 기존 SOTA 도구들보다 뛰어난 축소 성능을 보였으며 언어 특화 도구와 대등하거나 더 높은 효율성을 입증했습니다.
이 피드 구독하기
본 페이지의 콘텐츠는 AI가 공개된 소스를 기반으로 자동 수집·요약·번역한 것입니다. 원 저작권은 각 원저작자에게 있으며, 각 게시물의 “원문 바로가기” 링크를 통해 원문을 확인할 수 있습니다. 저작권자의 삭제 요청이 있을 경우 신속히 조치합니다.