Copertina

Payment Channels with Proofs

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brown, Chad E., Kaliszyk, Cezary, Urban, Josef
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
di: Brown, Chad E., et al.
Pubblicazione: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
di: Brown, Chad E., et al.
Pubblicazione: (2026)

Hammering Higher Order Set Theory
di: Brown, Chad E., et al.
Pubblicazione: (2025)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2024)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
di: Pąk, Karol, et al.
Pubblicazione: (2024)

Experiments with Choice in Dependently-Typed Higher-Order Logic
di: Ranalter, Daniel, et al.
Pubblicazione: (2024)

Munkres' General Topology Autoformalized in Isabelle/HOL
di: Bryant, Dustin, et al.
Pubblicazione: (2026)

Polymorphism Meets DHOL
di: Ranalter, Rhea, et al.
Pubblicazione: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
di: Purgał, Stanisław J., et al.
Pubblicazione: (2022)

Learning Guided Automated Reasoning: A Brief Survey
di: Blaauwbroek, Lasse, et al.
Pubblicazione: (2024)

The Dependently Typed Higher-Order Form for the TPTP World
di: Ranalter, Daniel, et al.
Pubblicazione: (2025)

A Formal Proof of R(4,5)=25
di: Gauthier, Thibault, et al.
Pubblicazione: (2024)

Automated Strategy Invention for Confluence of Term Rewrite Systems
di: Zhang, Liao, et al.
Pubblicazione: (2024)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
di: Zhang, Liao, et al.
Pubblicazione: (2024)

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?
di: Urban, Josef
Pubblicazione: (2026)

Symbolic Computation for All the Fun
di: Brown, Chad E., et al.
Pubblicazione: (2024)

Proofs that Modify Proofs, 1/2
di: Towsner, Henry
Pubblicazione: (2025)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
di: Brown, Chad E., et al.
Pubblicazione: (2025)

The Proof Analysis Problem
di: Arteche, Noel, et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for Second-order Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
di: Gu, Tao, et al.
Pubblicazione: (2023)

Proof-theoretic Semantics for First-order Logic
di: Gheorghiu, Alexander V.
Pubblicazione: (2024)

Cyclic Proofs for iGL via Corecursion
di: Miranda, Borja Sierra
Pubblicazione: (2023)

Proof Complexity of Linear Logics
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2026)

Proof-Theoretic Functional Completeness for the Connexive Logic C
di: Ayhan, Sara, et al.
Pubblicazione: (2025)

Proof Theory and Decision Procedures for Deontic STIT Logics
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Universal Proof Theory, TACL 2022 Lecture Notes
di: Iemhoff, Rosalie, et al.
Pubblicazione: (2023)

A proof-theoretic approach to abstract interpretation
di: D'Silva, Vijay, et al.
Pubblicazione: (2026)

Proof complexity of positive branching programs
di: Das, Anupam, et al.
Pubblicazione: (2021)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2025)

Universal Proof Theory: Semi-analytic Rules and Uniform Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2018)

Learning Conjecturing from Scratch
di: Gauthier, Thibault, et al.
Pubblicazione: (2025)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2022)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
di: Jakubův, Jan, et al.
Pubblicazione: (2024)

An Introduction to Categorical Proof Theory
di: Tabatabai, Amirhossein Akbar
Pubblicazione: (2024)

Categorical Proof-Theoretic Semantics
di: Pym, David, et al.
Pubblicazione: (2023)