3 ms·Neuro-Formal Verification: Agentic Language-Agnostic Formal Program Reasoning3 points by matt_d 11d ago