most citedETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

DEKL 2.0: Trace-Indexed Knowledge Evolution in Dependent Type Theory

Chen Peng

DEKL 2.0 is a dependent type-theoretic framework for trace-indexed knowledge evolution. Its central claim is that the proof calculus remains monotone under standard structural rule…