Next Steps in LLM-Supported Java Verification
We evaluate the effectiveness of feedback provided to a Large Language Model by the theorem prover KeY for verification of Java software using LLM-generated auxilliary annotations.
15. Dec 2024
Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract)
We demonstrate preliminary results on strong connections between Information Flow and Algorithmic Fairness Analysis
1. May 2023