Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Explainability Through Systematicity: The Hard Systematicity Challenge for Artificial Intelligence
arxiv.org·4h
Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
arxiv.org·4h
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·4h
LLM-Crowdsourced: A Benchmark-Free Paradigm for Mutual Evaluation of Large Language Models
arxiv.org·4h
Loading...Loading more...