Copertina

Sequencelib: A Computational Platform for Formalizing the OEIS in Lean

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Moreira, Walter, Stubbs, Joe
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formalizing CHSH Rigidity in Lean 4
di: Zhao, Tianrun, et al.
Pubblicazione: (2026)

Formalizing Wu-Ritt Method in Lean 4
di: Xiao, Yuxuan, et al.
Pubblicazione: (2026)

Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4
di: Mayeux, Arnaud, et al.
Pubblicazione: (2026)

The Chase in Lean -- Crafting a Formal Library for Existential Rule Research
di: Gerlach, Lukas
Pubblicazione: (2026)

LeanBET: Formally-verified surface area calculations in Lean
di: Ugwuanyi, Ejike D., et al.
Pubblicazione: (2026)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

Formalizing Mason-Stothers Theorem and its Corollaries in Lean 4
di: Baek, Jineon, et al.
Pubblicazione: (2024)

Formalizing Gröbner Basis Theory in Lean
di: Guo, Junyu, et al.
Pubblicazione: (2026)

Formalizing $A_1^{(1)}$ Curve Neighborhoods in Lean 4
di: Huang, Yihe, et al.
Pubblicazione: (2026)

Formalizing Automated Market Makers in the Lean 4 Theorem Prover
di: Pusceddu, Daniele, et al.
Pubblicazione: (2024)

CSLib: The Lean Computer Science Library
di: Barrett, Clark, et al.
Pubblicazione: (2026)

Lean-SMT: An SMT tactic for discharging proof goals in Lean
di: Mohamed, Abdalrhman, et al.
Pubblicazione: (2025)

Kimina Lean Server: A High-Performance Lean Server for Large-Scale Verification
di: Santos, Marco Dos, et al.
Pubblicazione: (2025)

Lean-auto: An Interface between Lean 4 and Automated Theorem Provers
di: Qian, Yicheng, et al.
Pubblicazione: (2025)

LeanAgent: Lifelong Learning for Formal Theorem Proving
di: Kumarappan, Adarsh, et al.
Pubblicazione: (2024)

Pursuit of Truth and Beauty in Lean 4: Formally Verified Theory of Grammars, Optimization, Matroids
di: Dvorak, Martin
Pubblicazione: (2026)

Formalizing zeta and L-functions in Lean
di: Loeffler, David, et al.
Pubblicazione: (2025)

Computer Science as Infrastructure: the Spine of the Lean Computer Science Library (CSLib)
di: Henson, Christopher, et al.
Pubblicazione: (2026)

Intuitionistic Propositional Logic in Lean
di: Trufaş, Dafina
Pubblicazione: (2024)

Lean Meets Theoretical Computer Science: Scalable Synthesis of Theorem Proving Challenges in Formal-Informal Pairs
di: Zhang, Terry Jingchen, et al.
Pubblicazione: (2025)

CSLibPremiseBench: Structure-Guided Premise Retrieval and Label Robustness for Lean 4 Computer-Science Theorems
di: Ji, Junye
Pubblicazione: (2026)

MerLean-Prover: A Recursive Looping Harness for Lean 4 Theorem Proving
di: Li, Jinzheng, et al.
Pubblicazione: (2026)

Lean on Vampire Proofs (Short Paper)
di: Bodingbauer, Jonas, et al.
Pubblicazione: (2026)

Hennessy-Milner Logic in CSLib, the Lean Computer Science Library
di: Montesi, Fabrizio, et al.
Pubblicazione: (2026)

Lean Atlas: An Integrated Proof Environment for Scalable Human-AI Collaborative Formalization
di: Yanahama, Banri, et al.
Pubblicazione: (2026)

Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
di: Yang, Bowen, et al.
Pubblicazione: (2026)

Formalizing a classification theorem for low-dimensional solvable Lie algebras in Lean
di: del Barco, Viviana, et al.
Pubblicazione: (2025)

Formalization of Auslander--Buchsbaum--Serre criterion in Lean4
di: Guan, Naillin, et al.
Pubblicazione: (2025)

LeanArchitect: Automating Blueprint Generation for Humans and AI
di: Zhu, Thomas, et al.
Pubblicazione: (2026)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
di: Pertseva, Elizaveta, et al.
Pubblicazione: (2026)

ZFLean: a framework for set-level mathematics in Lean
di: Trélat, Vincent
Pubblicazione: (2026)

DSLean: A Framework for Type-Correct Interoperability Between Lean 4 and External DSLs
di: Rowney, Tate, et al.
Pubblicazione: (2026)

A Theory of Formal Choreographic Languages
di: Barbanera, Franco, et al.
Pubblicazione: (2022)

A Formalization of Divided Powers in Lean
di: Chambert-Loir, Antoine, et al.
Pubblicazione: (2025)

Formalization of physics index notation in Lean 4
di: Tooby-Smith, Joseph
Pubblicazione: (2024)

A Rocq Formalization of Monomial and Graded Orders
di: Boldo, Sylvie, et al.
Pubblicazione: (2025)

Synthetic Differential Geometry in Lean
di: Brasca, Riccardo, et al.
Pubblicazione: (2026)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)