arXiv cs.AI / cs.LG / cs.CL·5d agoHuman-LLM Deliberation as Interactive Proof: Conditions for Verifiability Without Transparency#llm#interactive-proofs#verifiabilityAI research
arXiv cs.CR·17d agoSound Debloating of Redundant Checks in Zero-Knowledge Machine-Learning Circuits#abstract-interpretation#circuit-optimization#ezklResearch1