Higher-order Logic, Formal Proofs, Mathematical Verification, Interactive Proving
Maintainers of Last Resort
words.filippo.io·1d
VeriPHY: Physical Layer Signal Authentication for Wireless Communication in 5G Environments
arxiv.org·1d
Pruning and Malicious Injection: A Retraining-Free Backdoor Attack on Transformer Models
arxiv.org·23h
Long-Term Client Selection for Federated Learning with Non-IID Data: A Truthful Auction Approach
arxiv.org·1d
Fine-Grained Safety Neurons with Training-Free Continual Projection to Reduce LLM Fine Tuning Risks
arxiv.org·1d
I Analyzed 14 Years of My Writing with Vibe Coding. Here's What Made Me Change How I See Everything.
Loading...Loading more...