Copertina

Hammering Higher Order Set Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brown, Chad E., Kaliszyk, Cezary, Suda, Martin, 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)

Payment Channels with Proofs
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)

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

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

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

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

Learning Guided Automated Reasoning: A Brief Survey
di: Blaauwbroek, Lasse, 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)

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)

A Higher-Order Vampire (Short Paper)
di: Bhayat, Ahmed, et al.
Pubblicazione: (2024)

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

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

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
di: Pollaci, Samuele, et al.
Pubblicazione: (2024)

Efficient Neural Clause-Selection Reinforcement
di: Suda, Martin
Pubblicazione: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
di: Bacci, Giorgio, et al.
Pubblicazione: (2025)

Characterizing Sets of Theories That Can Be Disjointly Combined
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

Expectation-based Analysis of Higher-Order Quantum Programs
di: Avanzini, Martin, et al.
Pubblicazione: (2025)

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

Homological Invariants of Higher-Order Equational Theories
di: Ikebuchi, Mirai
Pubblicazione: (2025)

SAT-Inspired Higher-Order Eliminations
di: Blanchette, Jasmin, et al.
Pubblicazione: (2022)

Kuroda's Translation for Higher-Order Logic
di: Traversié, Thomas
Pubblicazione: (2024)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
di: Komel, Anja Petković, et al.
Pubblicazione: (2025)

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
di: Takahashi, Yuta
Pubblicazione: (2024)

Higher Order Automatic Differentiation of Higher Order Functions
di: Huot, Mathieu, et al.
Pubblicazione: (2021)

Syntactic Effectful Realizability in Higher-Order Logic
di: Cohen, Liron, et al.
Pubblicazione: (2025)

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

Reintroducing the Second Player in EPR
di: Chew, Leroy, et al.
Pubblicazione: (2026)

The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2025)

Big Steps in Higher-Order Mathematical Operational Semantics
di: Goncharov, Sergey, et al.
Pubblicazione: (2025)

Higher-Order Constrained Dependency Pairs for (Universal) Computability
di: Guo, Liye, et al.
Pubblicazione: (2024)

Free Monads, Intrinsic Scoping, and Higher-Order Preunification
di: Kudasov, Nikolai
Pubblicazione: (2022)

Unification of Deterministic Higher-Order Patterns (Full Version)
di: Niederhauser, Johannes, et al.
Pubblicazione: (2026)

Unravelling Cyclic First-Order Arithmetic
di: Leigh, Graham E., et al.
Pubblicazione: (2025)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
di: Charalambidis, Angelos, et al.
Pubblicazione: (2026)

Are Dependent Types in Set Theory Feasible?
di: Yang, Yunsong, et al.
Pubblicazione: (2026)