$Image de couverture de livre$

Exploring Formal Math on the Blockchain: An Explorer for Proofgold

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Brown, Chad E., Kaliszyk, Cezary, Urban, Josef
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Payment Channels with Proofs
par: Brown, Chad E., et autres
Publié: (2025)

Agent Hunt: Bounty Based Collaborative Autoformalization With LLM Agents
par: Brown, Chad E., et autres
Publié: (2026)

Hammering Higher Order Set Theory
par: Brown, Chad E., et autres
Publié: (2025)

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)
par: Niederhauser, Johannes, et autres
Publié: (2024)

Conway Normal Form: Bridging Approaches for Comprehensive Formalization of Surreal Numbers
par: Pąk, Karol, et autres
Publié: (2024)

Experiments with Choice in Dependently-Typed Higher-Order Logic
par: Ranalter, Daniel, et autres
Publié: (2024)

Munkres' General Topology Autoformalized in Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2026)

Polymorphism Meets DHOL
par: Ranalter, Rhea, et autres
Publié: (2026)

Differentiable Inductive Logic Programming in High-Dimensional Space
par: Purgał, Stanisław J., et autres
Publié: (2022)

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

Learning Guided Automated Reasoning: A Brief Survey
par: Blaauwbroek, Lasse, et autres
Publié: (2024)

The Dependently Typed Higher-Order Form for the TPTP World
par: Ranalter, Daniel, et autres
Publié: (2025)

A Formal Proof of R(4,5)=25
par: Gauthier, Thibault, et autres
Publié: (2024)

Automated Strategy Invention for Confluence of Term Rewrite Systems
par: Zhang, Liao, et autres
Publié: (2024)

Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
par: Zhang, Liao, et autres
Publié: (2024)

Symbolic Computation for All the Fun
par: Brown, Chad E., et autres
Publié: (2024)

Formal Verification of Blockchain Nonforking in DAG-Based BFT Consensus with Dynamic Stake
par: Coglio, Alessandro, et autres
Publié: (2025)

SMT and Functional Equation Solving over the Reals: Challenges from the IMO
par: Brown, Chad E., et autres
Publié: (2025)

Solving Formal Math Problems by Decomposition and Iterative Reflection
par: Zhou, Yichi, et autres
Publié: (2025)

A proof-theoretic approach to abstract interpretation
par: D'Silva, Vijay, et autres
Publié: (2026)

Formal Model Guided Conformance Testing for Blockchains
par: Drobnjakovic, Filip, et autres
Publié: (2025)

Learning Conjecturing from Scratch
par: Gauthier, Thibault, et autres
Publié: (2025)

Solving Hard Mizar Problems with Instantiation and Strategy Invention
par: Jakubův, Jan, et autres
Publié: (2024)

Maths with Coq in L1, a pedagogical experiment
par: Kerjean, Marie, et autres
Publié: (2025)

Limited Math: Aligning Mathematical Semantics with Finite Computation
par: Wen, Lian
Publié: (2026)

Machine Learning for Quantifier Selection in cvc5
par: Jakubův, Jan, et autres
Publié: (2024)

Elgot Categories and Abacus Programs
par: Nester, Chad
Publié: (2025)

Formalizing equivalences without tears
par: de Jong, Tom
Publié: (2024)

Formalization of Amicable Numbers Theory
par: Chen, Zhipeng, et autres
Publié: (2026)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

Meta-Modelling in Formal Concept Analysis
par: Wang, Yingjian
Publié: (2024)

Formal Verification of Isothermal Chemical Reactors
par: Feyzishendi, Parivash, et autres
Publié: (2025)

Formal Modelling and Analysis of Slot Machines
par: Groote, Jan Friso, et autres
Publié: (2024)

A Theory of Formal Choreographic Languages
par: Barbanera, Franco, et autres
Publié: (2022)

A Rocq Formalization of Monomial and Graded Orders
par: Boldo, Sylvie, et autres
Publié: (2025)

Proceedings Eighth Symposium on Working Formal Methods
par: Marin, Mircea, et autres
Publié: (2024)

Formalizing Representation Theorems for a Logical Framework with Rewriting
par: Traversié, Thomas, et autres
Publié: (2025)

A Formalization of the Reversible Concurrent Calculus CCSKP in Beluga
par: Cecilia, Gabriele
Publié: (2025)

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
par: Moreira, Walter, et autres
Publié: (2026)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
par: de Lima, Thaynara Arielly, et autres
Publié: (2024)