Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2026
|
| Online Access: | https://doi.org/10.5281/zenodo.20046585 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Dynamic Fraud Proof
by: Picco, Gabriele, et al.
Published: (2025)
by: Picco, Gabriele, et al.
Published: (2025)
A Short and General Duality Proof for Wasserstein Distributionally Robust Optimization
by: Zhang, Luhao, et al.
Published: (2022)
by: Zhang, Luhao, et al.
Published: (2022)
Towards a Proof System for Probabilistic Dynamic Logic
by: Johnsen, Einar Broch, et al.
Published: (2024)
by: Johnsen, Einar Broch, et al.
Published: (2024)
Symmetric Proofs in the Ideal Proof System
by: Dawar, Anuj, et al.
Published: (2025)
by: Dawar, Anuj, et al.
Published: (2025)
Interpolation in Proof Theory
by: van der Giessen, Iris, et al.
Published: (2026)
by: van der Giessen, Iris, et al.
Published: (2026)
A Dynamical Stability Proof of the Riemann Hypothesis
by: Ukachi Nmachuwku, Treasure
Published: (2026)
by: Ukachi Nmachuwku, Treasure
Published: (2026)
A Dynamical Stability Proof of the Riemann Hypothesis
by: Ukachi Nmachuwku, Treasure
Published: (2026)
by: Ukachi Nmachuwku, Treasure
Published: (2026)
A Dynamical Stability Proof of the Riemann Hypothesis
by: Ukachi Nmachuwku, Treasure
Published: (2026)
by: Ukachi Nmachuwku, Treasure
Published: (2026)
Neural Interactive Proofs
by: Hammond, Lewis, et al.
Published: (2024)
by: Hammond, Lewis, et al.
Published: (2024)
A Unified Dynamical Framework for Optimization on Grassmann Manifolds via Dual Semidefinite Programming
by: Zhang, Jincheng
Published: (2026)
by: Zhang, Jincheng
Published: (2026)
Multi-Prover Interactive Proof Systems with Leakage
by: Asadi, Vahid R., et al.
Published: (2026)
by: Asadi, Vahid R., et al.
Published: (2026)
A Resolution-Based Interactive Proof System for UNSAT
by: Czerner, Philipp, et al.
Published: (2024)
by: Czerner, Philipp, et al.
Published: (2024)
Translating Informal Proofs into Formal Proofs Using a Chain of States
by: Wang, Ziyu, et al.
Published: (2025)
by: Wang, Ziyu, et al.
Published: (2025)
Future-Proofing the State
Published: (2014)
Published: (2014)
Lectures in Proof Theory and Complexity
by: Duccio, Pianigiani
Published: (2026)
by: Duccio, Pianigiani
Published: (2026)
An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)
by: Tabatabai, Amirhossein Akbar
Published: (2024)
Quantum Interactive Oracle Proofs
by: Sun, Baocheng, et al.
Published: (2026)
by: Sun, Baocheng, et al.
Published: (2026)
On the Power of Interactive Proofs for Learning
by: Gur, Tom, et al.
Published: (2024)
by: Gur, Tom, et al.
Published: (2024)
Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)
by: Towsner, Henry
Published: (2024)
A Dynamical Systems Approach to the Riemann Hypothesis via the Organized Complexity Framework, Proof of S(t) behavior as it tends to 0.
by: Okolo, Hanyelichukwu Paul
Published: (2025)
by: Okolo, Hanyelichukwu Paul
Published: (2025)
ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2025)
by: Thakur, Amitayush, et al.
Published: (2025)
On Proof Systems for #QBF
by: Chede, Sravanthi, et al.
Published: (2026)
by: Chede, Sravanthi, et al.
Published: (2026)
Remote Collaborative Dynamics Optimization
by: Zhang, Jincheng
Published: (2025)
by: Zhang, Jincheng
Published: (2025)
Hidden-State Proofs of Quantumness
by: Miller, Carl A.
Published: (2024)
by: Miller, Carl A.
Published: (2024)
Proof Theory for Bimodal Provability Logics
by: Miranda, Borja Sierra, et al.
Published: (2026)
by: Miranda, Borja Sierra, et al.
Published: (2026)
Dark Scaffold Theory: A Computational Proof
by: Simens, Rob
Published: (2026)
by: Simens, Rob
Published: (2026)
Graphical Proof Theory I: Sequent Systems on Undirected Graphs
by: Acclavio, Matteo
Published: (2023)
by: Acclavio, Matteo
Published: (2023)
A Proof Theory for Profinite Modal Algebras
by: De Berardinis, Matteo, et al.
Published: (2025)
by: De Berardinis, Matteo, et al.
Published: (2025)
A Group Theory Proof of Pascal's Theorem
by: Wiese, Kaylee
Published: (2024)
by: Wiese, Kaylee
Published: (2024)
Asteroidal Ion-Tail Dynamics Optimization
by: Zhang, Jincheng
Published: (2025)
by: Zhang, Jincheng
Published: (2025)
Coherent Ordering Dynamics: A Unified Framework for Fundamental Physics with Uniqueness Proof for General Relativity
by: Trumble, Ray
Published: (2026)
by: Trumble, Ray
Published: (2026)
The SPARSE-Relativization Framework and Applications to Optimal Proof Systems
by: Egidy, Fabian
Published: (2026)
by: Egidy, Fabian
Published: (2026)
The Design of an Interactive Proof Mode for Dafny
by: Ciobâcă, Ştefan, et al.
Published: (2025)
by: Ciobâcă, Ştefan, et al.
Published: (2025)
Efficiently Batching Unambiguous Interactive Proofs
by: Berger, Bonnie, et al.
Published: (2025)
by: Berger, Bonnie, et al.
Published: (2025)
Continuations and Completeness in Proof-theoretic Semantics
by: Gu, Tao, et al.
Published: (2026)
by: Gu, Tao, et al.
Published: (2026)
ProofCloud: A Proof Retrieval Engine for Verified Proofs in Higher Order Logic
by: Wang, Shuai
Published: (2024)
by: Wang, Shuai
Published: (2024)
Dynamic Drive-Path Coordination Optimization Algorithm
by: Zhang, Jincheng
Published: (2025)
by: Zhang, Jincheng
Published: (2025)
From GTC to Reset: Generating Reset Proof Systems from Cyclic Proof Systems
by: Leigh, Graham E., et al.
Published: (2023)
by: Leigh, Graham E., et al.
Published: (2023)
All Proof of Work But No Proof of Play
by: Tirmazi, Hayder
Published: (2025)
by: Tirmazi, Hayder
Published: (2025)
Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)
by: Towsner, Henry
Published: (2025)