314 citations
- Middle East Technical UniversityTR31 papers
- Cukurova UniversityTR22 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- ETH ZurichCH18 papers
- Kyungpook National UniversityKR18 papers
- Universidade Federal do ABCBR18 papers
- University of PaviaIT18 papers
- University of WarsawPL18 papers
- A. Alikhanyan National LaboratoryAM17 papers
- Baylor UniversityUS17 papers
- Benemérita Universidad Autónoma de PueblaMX17 papers
- Bhabha Atomic Research CentreIN17 papers
67 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…
Information-Theoretic and Operational Measures of Quantum Contextuality
Ali Can Günhan, Zafer Gedik
We propose an information -- theoretic framework for quantifying Kochen-Specker contextuality. Two complementary measures are introduced: the mutual information energy, a state-ind…
Predicting California Bearing Ratio with Ensemble and Neural Network Models: A Case Study from Turkiye
Abdullah Hulusi Kökçam, Uğur Dağdeviren, Talas Fikret Kurnaz +2
The California Bearing Ratio (CBR) is a key geotechnical indicator used to assess the load-bearing capacity of subgrade soils, especially in transportation infrastructure and found…