JS
Joe Stubbs
cs.DCcs.AIcs.CRcs.LGcs.LOSoftwareautomationbioinformaticscs.CLcs.DB
On Valency
published · living versionsW_mmefdpxh·v1 · currentpublished
LEANGUARD: Lean-Verified Guardrails for Tool-Using Agents
with Sreehari Sankar, Debargha Ganguly, Vikash Singh, Mohsen Hariri +15
1 version
Preprints & journals
12 papers in the corpus · 2021–2026Sequent-Prover: Training Agents for Formal, Checkable SMT-based Reasoning2610.15258v1 · Debargha Ganguly, Weicong Chen, Mohsen Hariri et al.2026 · 0 citationsarXiv
AIProver: Agentic Auto-Formalization of Mathematical Research via Certificate-Driven Evolving Harness2610.05367v1 · Prithwish Jana, Viet Bach Hoang, Logan Luna et al.2026 · 0 citationsarXiv
Sequencelib: A Computational Platform for Formalizing the OEIS in Lean2601.11757v1 · Walter Moreira, Joe Stubbs2026 · 0 citationsarXiv
AI/ML Model Cards in Edge AI Cyberinfrastructure: towards Agentic AI2511.21661v1 · Beth Plale, Neelesh Karthikeyan, Isuru Gamage et al.2025 · 0 citationsarXiv
Toward Smart Scheduling in Tapis2408.03349v1 · Joe Stubbs, Smruti Padhy, Richard Cardone2024 · 1 citationarXiv
CloudSec: An Extensible Automated Reasoning Framework for Cloud Security Policies2307.05745v1 · Joe Stubbs, Smruti Padhy, Richard Cardone et al.2023 · 1 citationarXiv
An Interactive Knowledge and Learning Environment in Smart Foodsheds.37030817 · Tu, Yamei, Wang, Xiaoqi, Qiu, Rui et al.2023 · 9 citationsIEEE computer graphics and applications. 2023;43(3):36-47
A Decentralized Authorization and Security Framework for Distributed Research Workflows2304.08557v2 · Richard Cardone, Smruti Padhy, Steven Black et al.2023 · 2 citationsarXiv
Development of Authenticated Clients and Applications for ICICLE CI Services -- Final Report for the REHS Program, June-August, 20222304.11086v1 · Sahil Samar, Mia Chen, Jack Karpinski et al.2023 · 0 citationsarXiv
Round Trip: An Automated Pipeline for Experimental Design, Execution, and Analysis.35099189 · Bryce, Daniel, Goldman, Robert P, DeHaven, Matthew et al.2022 · 9 citationsACS synthetic biology. 2022;11(2):608-622
Prediction of whole-cell transcriptional response with machine learning.34570169 · Eslami, Mohammed, Borujeni, Amin Espah, Eramian, Hamed et al.2023 · 16 citationsBioinformatics (Oxford, England). 2022;38(2):404-409
Toward Interoperable Cyberinfrastructure: Common Descriptions for Computational Resources and Applications2107.00417v1 · Joe Stubbs, Suresh Marru, Daniel Mejia et al.2021 · 2 citationsarXiv
Career total: 107 works. 12 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.