Δ Sindi: Semantic Invariant Differencing for Solidity Smart Contracts
Parent repository for equivalence-aware database research — QuandleDB, VeriSimDB, Lithoglyph, Glyphbase, and typed-trace storage experiments
Repository contains semantic equivalence models for duplicate detection.
Detecting semantically equivalent code clone pairs in two or more code fragments.
Static programs for reference-based evaluation of faithful autoformalization in Lean 4. SemantEq-Eval searches for a meaning-preserving equivalence proof between two formal statements without a model; SemantEq-ProofAudit checks whether a proof written by any prover certifies their semantic equivalence.
Quandle database — top-level monorepo
A public benchmark and an agentic framework for translating legacy ETL workflows into modern dataflow code, verified by data equivalence rather than by unit tests.
RoBERTa judge for moderation-rationale equivalence, with cross-generator evaluation, linear probes, and directional ablations.
To associate your repository with the semantic-equivalence topic, visit your repo's landing page and select "manage topics."