"NeuroSymbolic computing" at ArcNet, IISc, Bangalore

[Siddhartha Gadgil]

Dear All,

         A startup at IISc, ARC-Net (Applied Research Capability Network) is hiring a few people to work under my guidance on mixing Generative AI with Formal proving (using the Lean Theorem Prover). The specific focus is on automatically translating from natural language to Lean Prover.

        The following is the advertisement: 

https://www.linkedin.com/posts/solution-foundry-at-iisc_neuralnetworks-lean-iisc-activity-7245544298681696257-jf3K?utm_source=share&utm_medium=member_desktop

Some of the work needs no knowledge of Lean, but in the long run at least a willingness to learn Lean may be needed.

regards,

Siddhartha