2 citations · 4 across the 8 of their papers we have counts for
10 papers
Do Rollups Self-Organize? Multi-Agent Reinforcement Learning in the EIP-4844 Blob Fee Market
Alessio Brini
EIP-4844 gave Ethereum rollups a separate fee dimension for data, governed by a multiplicative update rule that targets three ``blobs'' per block. Whether this target is reached de…
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness
Prithwish Jana, Viet Bach Hoang, Logan Luna +9
Proof auto-formalization translates natural-language (NL) theorems and proofs into a formal language (FL) such as Lean, enabling mechanical verification. Despite rapid progress, re…
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,…
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…
Toward Smart Scheduling in Tapis
Joe Stubbs, Smruti Padhy, Richard Cardone
The Tapis framework provides APIs for automating job execution on remote resources, including HPC clusters and servers running in the cloud. Tapis can simplify the interaction with…
CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies
Joe Stubbs, Smruti Padhy, Richard Cardone +1
Users increasingly create, manage and share digital resources, including sensitive data, via cloud platforms and APIs. Platforms encode the rules governing access to these resource…
A Decentralized Authorization and Security Framework for Distributed Research Workflows
Richard Cardone, Smruti Padhy, Steven Black +2
Research challenges such as climate change and the search for habitable planets increasingly use academic and commercial computing resources distributed across different institutio…
Development of Authenticated Clients and Applications for ICICLE CI Services -- Final Report for the REHS Program, June-August, 2022
Sahil Samar, Mia Chen, Jack Karpinski +6
The Artificial Intelligence (AI) institute for Intelligent Cyberinfrastructure with Computational Learning in the Environment (ICICLE) is funded by the NSF to build the next genera…
Toward Interoperable Cyberinfrastructure: Common Descriptions for Computational Resources and Applications
Joe Stubbs, Suresh Marru, Daniel Mejia +5
The user-facing components of the Cyberinfrastructure (CI) ecosystem, science gateways and scientific workflow systems, share a common need of interfacing with physical resources (…
Virtualizing the Stampede2 Supercomputer with Applications to HPC in the Cloud
W. Cyrus Proctor, Mike Packard, Anagha Jamthe +2
Methods developed at the Texas Advanced Computing Center (TACC) are described and demonstrated for automating the construction of an elastic, virtual cluster emulating the Stampede…