3 papers
cs.AI2026
Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
Jui-Hui Chung, Ziyang Cai, Zihao Li +14
We introduce Goedel-Architect, an agentic framework for formal theorem proving in Lean 4 centered on blueprint generation and refinement. A blueprint is a dependency graph of defin…
cs.AI2026
Harnessing Generalist Agents for Contextualized Time Series
Zihao Li, Kaifeng Jin, Yuanchen Bei +8
Time series are often embedded in rich contexts that are essential for holistic modeling. Moreover, real-world practitioners often require end-to-end workflows for analyzing tempor…
cs.DC2023
Laminar: A New Serverless Stream-based Framework with Semantic Code Search and Code Completion
Zaynab Zahra, Zihao Li, Rosa Filgueira
This paper introduces Laminar, a novel serverless framework based on dispel4py, a parallel stream-based dataflow library. Laminar efficiently manages streaming workflows and compon…