SOCH STREET ADVISORS LLP
AI Research Engineer
... formal analysis tools.- Investigate feedback loops between generative models and verification systems - how verification outcomes can improve model behavior over time.- Explore training techniques that make model-generated code more amenable to formal analysis without requiring explicit instruction at inference https://jobeax.com/link/X2aWAjKoHD5GcL9x ...
Bangalore, भारत