2 citations · 4 across the 8 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.MA2026
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…
cs.LO2026
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…
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,…