Skip to content
#

boundary-analysis

Star

Here are 5 public repositories matching this topic...

Language: All
Filter by language
All 5 Python 4 Lean 1

leenathomas01 / Unlearnable-Interference

Star 4

(Formerly ZPRE-Implementation-6G). A runnable demonstration that adaptive interference cancellation fails against signals whose structure resets faster than any learner can align — not because the model is too small.

machine-learning research signal-processing chaos-theory adaptive-filters boundary-analysis isac mimo 6g adaptive-systems interference-cancellation nonlinear-systems wireless-systems adaptive-algorithms bio-inspired-algorithms wireless-optimization adversarial-systems
  • Updated Apr 21, 2026
  • Python

AEjonanonymous / Vizings-Conjecture

Star 1

A Boundary Analysis and Formal Proof by Contradiction of Vizing’s Conjecture in Lean 4 via the Impossibility of Minimal Counterexample Descent

research math mathematics graph-theory formal-methods combinatorics formal-verification interactive-theorem-proving cartesian-product boundary-analysis mathlib academic-research lean4 proof-by-contradiction conjecture-solving ai-augmented-research integral-gap-analysis vizings-conjecture minimal-counterexample fractional-domination
  • Updated Aug 14, 2026
  • Lean

Improve this page

Add a description, image, and links to the boundary-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the boundary-analysis topic, visit your repo's landing page and select "manage topics."

Learn more