https://satml.org/
IEEE SaTML 2027
ieee satml
https://groups.google.com/g/satml-2024-llms-ctf
SaTML 2024 LLMs CTF Announcements - Google Groups
llmsctfannouncementsgooglegroups
https://ocamlpro.github.io/alt-ergo/latest/API/alt-ergo-lib/AltErgoLib/Satml_types/module-type-ATOM/index.html
ATOM (alt-ergo-lib.AltErgoLib.Satml_types.ATOM)
atomaltergolibtypes
https://ocamlpro.github.io/alt-ergo/latest/API/alt-ergo-lib/AltErgoLib/Satml/module-type-SAT_ML/index.html
SAT_ML (alt-ergo-lib.AltErgoLib.Satml.SAT_ML)
satmlaltergolib
https://huggingface.co/papers/2406.07954
Paper page - Dataset and Lessons Learned from the 2024 SaTML LLM Capture-the-Flag Competition
Join the discussion on this paper page