Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
4 papers
Machine-Checked Computational Group Theory in Lean 4: Operational Schreier-Sims Stabilizer Chains, BSGS Sifting, and Backtrack Ordered Partitions
Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı
We present gap-lean4-port (Release v0.2.0), a machine-checked formalization of foundational algorithms in computational discrete algebra and permutation group theory within the Lea…
Werracle: Sub-Cent Intra-Block AI Reflex Oracles and Flash-Loan Circuit Breakers for EVM Smart Contracts
Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı
Contemporary on-chain artificial intelligence (AI) encounters an intractable Von Neumann memory and latency wall. Storing static floating-point neural weight matrices inside Ethere…
Orbital Error Dynamics: Self-Organized Criticality, Ephemeral Parameter Resonance, and Non-Linear Biological Ontologies in Zero-Storage Neural Synthesis
Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı
Modern deep neural networks treat parameters as static floating-point matrices stored in physical memory, incurring Von Neumann memory bottlenecks and representation collapse. We f…
Universal Fractal Natural Language Decision Map: Real-Time Edge Triage Across Heterogeneous Domains
Volkan Dağlı, Zerrin Dağlı, Dağhan Dağlı
Deploying Large Language Models for runtime operational triage incurs prohibitive latency (>100-500 ms), high VRAM requirements (>4-8 GB), and excessive energy dissipation. Extendi…