2 ms·Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on SeL41 points by PaulHoule 8mo ago