Proof Assistants, Interactive Verification, Proof Search, Tactical Reasoning
Going to DEFCON? See my talk, "We are currently clean on OPSEC": The Signalgate Saga
micahflee.com·10h
MIMII-Agent: Leveraging LLMs with Function Calling for Relative Evaluation of Anomalous Sound Detection
arxiv.org·4d
Loading...Loading more...