Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving
Paper • 2604.01483 • Published • 7
Jonathan H. Parker
reply-guy
·
AI & ML interests
None yet
Recent Activity
View all activity
Organizations
None yet
upvoted a paper 2 days ago
upvoted a paper 4 days ago
upvoted a paper 6 days ago
upvoted a paper 26 days ago
upvoted a paper about 1 month ago
upvoted 7
papers about 2 months ago
From Blind Spots to Gains: Diagnostic-Driven Iterative Training for Large Multimodal Models
Paper • 2602.22859 • Published • 151
A Very Big Video Reasoning Suite
Paper • 2602.20159 • Published • 519
VESPO: Variational Sequence-Level Soft Policy Optimization for Stable Off-Policy LLM Training
Paper • 2602.10693 • Published • 220
SQuTR: A Robustness Benchmark for Spoken Query to Text Retrieval under Acoustic Noise
Paper • 2602.12783 • Published • 216
Less is Enough: Synthesizing Diverse Data in Feature Space of LLMs
Paper • 2602.10388 • Published • 244
TermiGen: High-Fidelity Environment and Robust Trajectory Synthesis for Terminal Agents
Paper • 2602.07274 • Published • 208
The Devil Behind Moltbook: Anthropic Safety is Always Vanishing in Self-Evolving AI Societies
Paper • 2602.09877 • Published • 197