2 papers
cs.LO2026
Sequencelib: A Computational Platform for Formalizing the OEIS in Lean
Walter Moreira, Joe Stubbs
The On-Line Encyclopedia of Integer Sequences (OEIS) is a web-accessible database cataloging interesting integer sequences and associated theorems. With more than 12,000 citations,…
cs.DC2025
AI/ML Model Cards in Edge AI Cyberinfrastructure: towards Agentic AI
Beth Plale, Neelesh Karthikeyan, Isuru Gamage +2
AI/ML model cards can contain a benchmarked evaluation of an AI/ML model against intended use but a one time assessment during model training does not get at how and where a model…