The idea behind Prom is to turn AI prompts — the instructions people give AI tools like ChatGPT — into something you can deploy, share, remix, and discover.
AxiomProver solved a real open math conjecture using formal verification, signaling a shift from AI that assists research to AI that discovers new truths.
Logic-Layer Prompt Control Injection (LPCI): A Novel Security Vulnerability Class in Agentic Systems
Explores LPCI, a new security vulnerability in agentic AI, its lifecycle, attack methods, and proposed defenses.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results